Pinned

1. 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

2. Generative-Program-Analysis/GenSym Public

   GenSym, a compiler for parallel symbolic execution of LLVM IR

   Java 45 2

3. scala-native Public

   Forked from Angelogeb/scala-native

   The Return of 2nd-Class Values - Code Repository

   Scala

4. corrl Public

   Towards Versatile Event Correlation Systems with Effect Handlers

   Haskell 7 1

5. dotter Public

   Towards richer dependent types for DOT

   Coq 4

6. incremental Public

   Forked from seba--/incremental

   Ye olde co-contextual/incremental type systems development repository

   Scala