CUDD Decision Diagram Package

🔀 And-Inverter Graphs for Rust

Checks the equivalence between AIGs using BDDs

Remake of the classic Star Wars Rebellion game for PC using Unity

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

DUNE, REINVENTED

A simple, generic, header-only state machine implementation for C++.

Main game repository for Beyond All Reason.

C++20 coroutine library

A family of header-only, very fast and memory-friendly hashmap and btree containers.

Modern, performance focused unix commands

Fast and memory efficient c++ flat hash table/map/set

The Meson Build System

The 2013 edition of the Source SDK

The best C-like language that can be implemented in 10kLOC.

SafeInt is a class library for C++ that manages integer overflows.

mimalloc is a compact general purpose allocator with excellent performance.

A Modern C11 compiler (STILL EARLY)

A minimal but powerful thread pool in ANSI C

An awesome list of e-graph resources

📲 Simplifies boolean expressions

a header-only, constexpr alternative to gperf for C++14 users

Termcolor is a header-only C++ library for printing colored messages to the terminal. Written just for fun with a help of the Force.

Utilities for Modern C++