A project to map out the relations between different equational theories of Magmas.

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Column generation (theory + python implementation)

Theorem Proving in Lean 4

A modern commutative diagram editor for the web.

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

Matplotlib Jupyter Integration

DIY lap timing system

Tools to convert mrc workout files

Arsenal of python utilities.

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Uses some known methods that attempt to minimize tracking in Windows 10