Pinned Loading

1. stgm stgm Public

   ftgm but faster

   C++

2. type-theory type-theory Public

   Haskell implementation of normalization by evaluation and bidirectional type checking

   Haskell 1

3. metamath-turing-machines metamath-turing-machines Public

   Forked from sorear/metamath-turing-machines

   metamath proof enumerators and other things

   Tcl 12 3

4. lexicodes lexicodes Public

   Lexicographic code finder

   C++