Popular repositories Loading

1. lean4-raytracer lean4-raytracer Public

   A simple raytracer written in Lean 4

   Lean 143 5

2. LeanTeX LeanTeX Public

   Lean 4 library for pretty printing expressions as LaTeX

   Lean 34 6

3. knotfolio knotfolio Public

   A program for drawing knots and links, with support for importing images

   JavaScript 33 1

4. textadv textadv Public

   An interactive fiction engine written in Python

   Python 14 2

5. zmach zmach Public

   A z-machine interpreter which does dynamic recompilation to javascript

   JavaScript 9 1

6. LeanTeX-mathlib LeanTeX-mathlib Public

   LeanTeX pretty printers for mathlib

   Lean 7 2