Pinned Loading

1. scala/scala3 scala/scala3 Public

   The Scala 3 compiler, also known as Dotty.

   Scala 6.3k 1.2k

2. scala/improvement-proposals scala/improvement-proposals Public

   Scala Improvement Proposals

   65 38

3. scala-native scala-native Public

   Forked from Angelogeb/scala-native

   The Return of 2nd-Class Values - Code Repository

   Scala

4. Linyxus/capless-lean Linyxus/capless-lean Public

   Lean 5

5. reachability reachability Public

   Forked from TiarkRompf/reachability

   Mechanizations and prototypes for reachability types, a new take on ownership that scales better to impure higher-order languages.

   Coq

6. lampepfl/tacit lampepfl/tacit Public

   TACIT — Tracked Agent Capabilities In Types

   Scala 147 19