Pinned Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

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. Heisenberg-Group-Sphere-Count Heisenberg-Group-Sphere-Count Public

   Small algorithm to compute sphere counts in Malcev coordinates. See READ.md for instructions on how to run.

   Python 2 2

4. goofycoin goofycoin Public

   Implementation of Goofycoin from the Bitcoin book.

   Python 5 1

5. 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

6. basic-raytracer basic-raytracer Public

   A basic Python raytracer.

   Python 1 1