Popular repositories Loading

1. linearml linearml Public

   A simple implementation of linear type theory

   OCaml 39 1

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

   A Toy Inverse Bidirectional Typechecker

   OCaml 32 1

3. adjs adjs Public

   Higher-order FRP compiler

   OCaml 16

4. ott-example ott-example Public

   OTT in Agda

   Agda 7 2

5. proof-checker proof-checker Public

   A simple proof checker

   OCaml 7

6. datafun datafun Public

   A toy implementation of Datafun

   2