Pinned Loading

1. AUXify AUXify Public

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

   Scala 28 3

2. dotty-patched dotty-patched Public

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

   Scala 20 1

3. ProvingGround ProvingGround Public

   Forked from siddhartha-gadgil/ProvingGround

   Proving Ground: Tools for Automated Mathematics

   Jupyter Notebook 2 1

4. shapeless shapeless Public

   Forked from milessabin/shapeless

   Generic programming for Scala

   Scala

5. shapeless-applied shapeless-applied Public

   Forked from jeremyrsmith/shapeless-applied

   Library for type-level computations in shapeless

   Scala

6. scala-macro-macros scala-macro-macros Public

   Macros expanding into macros

   Scala 1