Separation Logic Proofs in Lean

White-box automation for Lean 4

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

Linear Algebra Done...Lean

Repository for the Stacks Project

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

egraphs + datalog!

An actor-model multi-core scheduler for OCaml 5 🐫

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Physical Symbolic Optimization

A (gentle?) introduction to spherical trigonometry for astronomy

EsoLangVM Compiler Infrastructure

Fast symbolic computation, code generation, and nonlinear optimization for robotics

GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse m…

Amateur Radio Exam notes for Singapore

Anime Girls Holding Programming Books

Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

Master programming by recreating your favorite technologies from scratch.

Spotify for the terminal written in Rust 🚀

The repository for high quality TypeScript type definitions.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Blame someone else for your bad code.

Linux kernel source tree

We have made you a wrapper you can't refuse

The Kotlin Programming Language.