Pinned Loading

1. mathlib-api mathlib-api Public

   Claude Code skill: evidence-driven workflow for designing a good Mathlib definition (precedent excavation, design axes, compiling example sheets)

2. thesis-code thesis-code Public

   GAP code snippets which were initially presented in my thesis "A toolbox for left-orders of low complexity", available at https://arxiv.org/pdf/2512.07035.

   GAP

3. goofycoin goofycoin Public

   Implementation of Goofycoin from the Bitcoin book.

   Python 5 1

4. expr-tree-to-sat-solver expr-tree-to-sat-solver Public

   First step to generating tautology proofs from SAT solvers. Converts metamath expression tree into SAT solver format and optimizes number of variables.

   Python 1 1

5. basic-raytracer basic-raytracer Public

   A basic Python raytracer.

   Python 1 1

6. nilpotent-groups nilpotent-groups Public

   Tools for computation in nilpotent groups by Hang Lu Su.

   HTML 1