Pinned Loading

1. smalltt smalltt Public

   Demo for high-performance type theory elaboration

   Lean 573 28

2. elaboration-zoo elaboration-zoo Public

   Minimal implementations for dependent type checking and elaboration

   Haskell 751 47

3. normalization-bench normalization-bench Public

   Lambda normalization and conversion checking benchmarks for various implementations

   Haskell 59 6

4. staged staged Public

   Staged compilation with dependent types

   TeX 186 3

5. flatparse flatparse Public

   Fast parsing from bytestrings

   Haskell 173 17

6. cctt cctt Public

   high-performance cubical evaluation

   TeX 77 4