A local-first personal finance app

XCharter font build.

A JavaScript library that allows for accessible navigation of data structures.

mold 🦠: A Modern Linker in Rust 🦀

A lightweight modular C logging library

The Herd toolsuite to deal with .cat memory models (version 7.xx)

x86 architecture concurrency model litmus tests

Learn TLA+ for free! No prior experience necessary!

Elegant grub2 themes for all linux systems

A heap memory profiler for Linux

Moving window statistics for Go

Enables the collection of accessibility information in web analytics

A gently curated list of companies using verification formal methods in industry

A community-maintained Python framework for creating mathematical animations.

Formal proof of the Four Color Theorem [maintainer=@ybertot]

A decompilation of LEGO Island (1997)

custom type systems for Clang

A collection of resources on wait-free and lock-free programming

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

A collection of out-of-tree Clang plugins for teaching and learning

A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

SonicBOOM: The Berkeley Out-of-Order Machine

Stabilizer: Rigorous Performance Evaluation

A memory allocator that automatically reduces the memory footprint of C/C++ applications.

A collection of postmortems. Sorry for the delay in merging PRs!

Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

Dump unix domain socket traffic with bpf