Popular repositories Loading

1. lean4-raytracer lean4-raytracer Public

   A simple raytracer written in Lean 4

   Lean 141 5

2. knotfolio knotfolio Public

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

   JavaScript 32 1

3. LeanTeX LeanTeX Public

   Lean 4 library for pretty printing expressions as LaTeX

   Lean 31 6

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 6 2