Popular repositories Loading

1. learn-tt learn-tt Public

   A collection of resources for learning type theory and type theory adjacent fields.

   2.2k 118

2. higher-order-unification higher-order-unification Public

   A small implementation of higher-order unification

   Haskell 184 5

3. pcf pcf Public

   A small compiler for PCF

   Haskell 123 9

4. nbe-for-mltt nbe-for-mltt Public

   Normalization by Evaluation for Martin-Löf Type Theory

   OCaml 122 5

5. blott blott Public

   An experimental type checker for a modal dependent type theory.

   OCaml 110 3

6. hm hm Public

   A small implementation of type inference

   Standard ML 78 1