Pinned Loading

1. sicp sicp Public

   Study of the Wizard Book.

   Scheme 42 6

2. analysis-i analysis-i Public

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

   Lean 7

3. eva eva Public

   The preferred Scheme interpreter of Eva Lu Ator.

   C 1

4. lindenmayer lindenmayer Public

   Web app that renders fractal curves.

   JavaScript 4

5. luminosity luminosity Public

   A simple and elegant ray tracer.

   Haskell 12 1

6. mycraft mycraft Public

   Just another Minecraft clone.

   Java 17 7