Popular repositories Loading

1. lean4-raytracer lean4-raytracer Public

   A simple raytracer written in Lean 4

   Lean 123 5

2. knotfolio knotfolio Public

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

   JavaScript 26 1

3. textadv textadv Public

   An interactive fiction engine written in Python

   Python 14 2

4. LeanTeX LeanTeX Public

   Lean 4 library for pretty printing expressions as LaTeX

   Lean 13 4

5. zmach zmach Public

   A z-machine interpreter which does dynamic recompilation to javascript

   JavaScript 9 1

6. arrow_poly arrow_poly Public

   Computation of (cabled) arrow polynomials of virtual knots

   Mathematica 5