PinnedLoading

1. smallttsmallttPublic

   Demo for high-performance type theory elaboration

   Lean 541 28

2. elaboration-zooelaboration-zooPublic

   Minimal implementations for dependent type checking and elaboration

   Haskell 651 39

3. normalization-benchnormalization-benchPublic

   Lambda normalization and conversion checking benchmarks for various implementations

   Haskell 55 6

4. stagedstagedPublic

   Staged compilation with dependent types

   TeX 169 3

5. flatparseflatparsePublic

   Fast parsing from bytestrings

   Haskell 157 13

6. ccttccttPublic

   high-performance cubical evaluation

   TeX 70 4