PinnedLoading

1. AUXifyAUXifyPublic

   Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

   Scala 29 3

2. dotty-patcheddotty-patchedPublic

   Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming

   Scala 20 1

3. ProvingGroundProvingGroundPublic

   Forked fromsiddhartha-gadgil/ProvingGround

   Proving Ground: Tools for Automated Mathematics

   Jupyter Notebook 3 1

4. shapelessshapelessPublic

   Forked frommilessabin/shapeless

   Generic programming for Scala

   Scala 1

5. shapeless-appliedshapeless-appliedPublic

   Forked fromjeremyrsmith/shapeless-applied

   Library for type-level computations in shapeless

   Scala

6. scala-macro-macrosscala-macro-macrosPublic

   Macros expanding into macros

   Scala 1