Pinned Loading

1. LeanHilbertCurves LeanHilbertCurves Public

   Lean

2. Flean Flean Public

   Floating point numbers in lean. A replacement of Mathlib.Data.FP

   Lean 1

3. editing-with-llms editing-with-llms Public

   This is some tests for a collection of prompts for editing with LLMs. Tested with Qwen3 235B.

   Python

4. FiniteFunctions.jl FiniteFunctions.jl Public

   Tries to reframe relational data in terms of functions over finite domain.

   Julia 1

5. ternplot ternplot Public

   Forked from alchemyst/ternplot

   Plot ternary diagrams in Matlab

   MATLAB