Stars
TIC-80 is a fantasy computer for making, playing and sharing tiny games.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A cheatsheet of modern C++ language and library features.
Showcase examples for EPFL logic synthesis libraries
Video, audio & banner adblock/skip for Spotify. This project has been superceded by SpotX: https://github.com/SpotX-CLI/SpotX-Win
mimalloc is a compact general purpose allocator with excellent performance.
NeuroCore: Guiding CDCL with Unsat-Core Predictions
A multi-formalism, multi-solution model-checker centered on the language GAL
header only, dependency-free deep learning framework in C++14
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
486 lines of C++: old-school FPS in a weekend
ABC: System for Sequential Logic Synthesis and Formal Verification
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Fast and lightweight x86/x86-64 disassembler and code generation library
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
makin - reveal anti-debugging and anti-VM tricks [This project is not maintained anymore]