Pinned Loading

1. dotty dotty Public

   Forked from scala/scala3

   Research platform for new language concepts and compiler technologies for Scala.

   Scala 5 1

2. l3-llvm-backend l3-llvm-backend Public

   An experimental LLVM backend for L3

   Rust 3

3. sav-adtsolver-standalone sav-adtsolver-standalone Public

   Scala

4. epfl-lara/stainless epfl-lara/stainless Public

   Verification framework and tool for higher-order Scala programs

   Scala 358 53

5. epfl-lara/StainlessFit epfl-lara/StainlessFit Public

   Stainless directly built on System FR, with standalone front-end

   Scala 5 7

6. epfl-lara/lexi epfl-lara/lexi Public

   Scala 1