Stars
A project to digitalise results from physics into Lean.
A course of building an LSM-Tree storage engine (database) in a week.
Source code for the Mathematics in Lean tutorial.
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
🎨 Diagram as Code for prototyping cloud system architectures
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.
Novelty Grinder analyses chess games, compares analysis to database, and identifies novelties and rare moves.
df7cb / toastinfo
Forked from credativ/toastinfoShow 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 travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …
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.