A project to digitalise results from physics into Lean.

A course of building an LSM-Tree storage engine (database) in a week.

Floating-point random number generation

Source code for the Mathematics in Lean tutorial.

Detect SQL migration issues quickly and easily

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

A 2-ply mini-max search chess engine in 84,688 regular expressions.

A book about category theory

The SQL Fan's Migrator

🎨 Diagram as Code for prototyping cloud system architectures

Experimental commitfest machinery

Synthetic workload generator

Analyze compressed chess pgn files to determine the rarest move

A set of platform-agnostic tools to measure the performance of various BPF helper functions.

Must-read Papers for File System (FS)

Novelty Grinder analyses chess games, compares analysis to database, and identifies novelties and rare moves.

Show storage structure of varlena datatypes in PostgreSQL

Intel processor trace tools for analyzing performance of function

Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…

The constellation of a hunter

Haskell to VHDL/Verilog/SystemVerilog compiler

Typecheck, template and modularize your Github Action definitions with Dhall

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.

A Git-compatible VCS that is both simple and powerful

Yet another resource for collecting articles, videos etc. regarding functional programming

Markdown-based Literate programming in Rust, integrated with Cargo.