Lean Companion to the Category Theory in Context textbook by Emily Riehl

A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.

A verification toolchain for Rust programs

High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus

A Lean companion to Analysis I

Use oxc as a Prettier parser for JavaScript and TypeScript.

A fancy self-hosted monitoring tool

⚓ A collection of high-performance JavaScript tools.

Statistics-driven benchmarking library for Rust

A list of awesome lean4 projects. Feel free to add your project.

Visualize Ownership and Lifetimes in Rust

Homebrew installation manager for nix-darwin

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

A list of Free Software network services and web applications which can be hosted on your own servers

My NixOS home-manager + flakes config.

A cookbook, for docker-compose based recipes, for self-hosted applications and services.

Manage system config using nix on any distro

A tacit array programming language

High-level tracing language for Linux

Concurrency permutation testing tool for Rust.

MA4N1 Theorem Proving with Lean

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Tools for analysing Wireshark captures of EtherCAT traffic

Solution to Algebra, Chapter 0

A pure Rust EtherCAT MainDevice supporting std and no_std environments

repository for material for Jan-Mar 2023 course on formalising mathematics

The P programming language.

GitHub repository for the ICLR Computational Geometry & Topology Challenge 2021

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.