Stars
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 functionally complete decompilation of LEGO Island (1997)
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.
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Custom CSS theme for doxygen html-documentation with lots of customization parameters.
source code of kkrieger and werkkzeug3 tool by the. produkkt. / farb-rausch
UNIX Network Programming, Volume 1, Third Edition Source Code
Demo of how to static link a c library to some go code.
Minimalist Go package aimed at creating Console User Interfaces.
An API for caching and execution of actions on a remote system.
Master programming by recreating your favorite technologies from scratch.