Pinned

1. sicp Public

   Study of the Wizard Book.

   Scheme 12 2

2. analysis-i Public

   Formalization of proofs from Analysis I in the Coq and Lean.

   Lean 7

3. eva Public

   The preferred Scheme interpreter of Eva Lu Ator.

   C 1

4. lindenmayer Public

   Web app that renders fractal curves.

   Go 4

5. luminosity Public

   A simple and elegant ray tracer.

   Haskell 13 1

6. mycraft Public

   Just another Minecraft clone.

   Java 18 8