Popular repositories Loading

1. linearml linearml Public

   A simple implementation of linear type theory

   OCaml 38 1

2. inverse-bidirectional-typechecking inverse-bidirectional-typechecking Public

   A Toy Inverse Bidirectional Typechecker

   OCaml 31 1

3. adjs adjs Public

   Higher-order FRP compiler

   OCaml 14

4. ott-example ott-example Public

   OTT in Agda

   Agda 7 2

5. proof-checker proof-checker Public

   A simple proof checker

   OCaml 6

6. incremental-ad incremental-ad Public

   1