Minimal open-source implementation of AlphaProof [WIP]

Emscripten SDK

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

Metamath Zero specification language

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

📚 (WIP) Rewriting Software Foundations in Lean 4

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Natural language tactics to teach mathematics using Lean 4

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

An online assembly editor, emulator and debugger for the x86-64 architecture

Programmatically generated handy kubectl aliases.

Git alias commands for faster easier version control

Formal prime certificates in Lean 4

A tool to auto-generate and render slides from Markdown comments in the Lean editor.

A project for collecting and prioritising ideas related to tools, tactics, linters, code actions for Mathlib

Leaff is a diff tool for Lean environments

Beautiful calculator app for macOS, Linux & Windows

Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.

Typst symbol classifier

A Fabric mod for Minecraft 1.21.8 using Decart's live video restyling model

Draws the Collatz Conjecture multiverse from this video! https://www.youtube.com/watch?v=n63FBYqj98E

Repository that contains automatic reports of issues found through fuzzing DuckDB

Windows alt-tab on macOS

An experimental fork of the Determinate Nix Installer to explore upstreaming.

Manage your macOS using Nix

A Super Mario 64 decompilation, brought to you by a bunch of clever folks.

Cursor for Minecraft

Fast and accurate AI powered file content types detection

🏡 Open source home automation that puts local control and privacy first.