Pinned Loading

1. pyano pyano Public

   A formalization of first-order logic and Peano's axioms in Python

   Python 20

2. impossible-programs impossible-programs Public

   http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ in C++

   C++ 1 1

3. comdat-ipo comdat-ipo Public

   C++ 2

4. echoes echoes Public

   Haskell 21 2

5. bfjit bfjit Public

   Lua 17 3

6. L L Public

   A Small Evaluator for Untyped Lambda Calculus

   C 7 4