Pinned Loading

1. WikiLean WikiLean Public

   WikiLean — Wikipedia mathematics annotated with Mathlib4/Lean formalization links

   Python 7

2. marathon marathon Public

   Driver for the Aristotle (Harmonic) automated theorem proving API. Submits a textbook chapter by chapter to Aristotle, bundling the target Lean project as context.

   Python 6

3. WFM-Prototype WFM-Prototype Public

   Prototype of a wound flowmeter medical device.

4. ultrafractal-music ultrafractal-music Public

   Audio-reactive Mandelbrot zoom toolkit for Ultra Fractal - generates .upr files whose camera, colors, and 3D transformations are driven by beats and frequency-band energy from a music track

   Python

5. Numerical-Solutions-to-SDEs Numerical-Solutions-to-SDEs Public

   Code solutions to exercise chapters 1-4 of Kloden and Platen's "Numerical Solutions to Stochastic Differential Equations"

   MATLAB

6. NYC-Lean/website NYC-Lean/website Public

   Website for NYC Lean (lean.nyc)

   HTML 4 3