Pinned Loading

1. smalltt smalltt Public

   Demo for high-performance type theory elaboration

   Lean 589 28

2. elaboration-zoo elaboration-zoo Public

   Minimal implementations for dependent type checking and elaboration

   Haskell 786 49

3. normalization-bench normalization-bench Public

   Lambda normalization and conversion checking benchmarks for various implementations

   Haskell 60 6

4. staged staged Public

   Staged compilation with dependent types

   TeX 187 3

5. flatparse flatparse Public

   Fast parsing from bytestrings

   Haskell 178 17

6. cctt cctt Public

   high-performance cubical evaluation

   TeX 81 4