PinnedLoading

1. smallttsmallttPublic

   Demo for high-performance type theory elaboration

   Lean 558 27

2. elaboration-zooelaboration-zooPublic

   Minimal implementations for dependent type checking and elaboration

   Haskell 682 42

3. normalization-benchnormalization-benchPublic

   Lambda normalization and conversion checking benchmarks for various implementations

   Haskell 59 6

4. stagedstagedPublic

   Staged compilation with dependent types

   TeX 177 3

5. flatparseflatparsePublic

   Fast parsing from bytestrings

   Haskell 161 16

6. ccttccttPublic

   high-performance cubical evaluation

   TeX 74 4