Extremely fast non-cryptographic hash algorithm

Platform independent low-level JIT compiler

Safe Rust bindings for MDBX

RSS test implementation

The single instruction C compiler

Mac OS X cross toolchain for Linux and FreeBSD

Converts floating point numbers to decimal strings

Wipe and reinstall a running Linux system via SSH, without rebooting. You know you want to.

A miniature library for struct-field reflection in C++

libsrt is a C library for writing fast and safe C code, faster. It provides string, vector, bit set, set, map, hash set, and hash map handling. Suitable for soft and hard real-time. Allows both hea…

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance conc…

Automated integer hash function discovery

Random for modern C++ with convenient API

A lightweight C++ logging library

An open-source C++ library developed and used at Facebook.

pySMT: A library for SMT formulae manipulation and solving

Wangle is a framework providing a set of common client/server abstractions for building services in a consistent, modular, and composable way.

GCC plugin that embeds CPython inside the compiler

Facebook ZeroMQ wrappers.

A C library that may be linked into a C/C++ program to produce symbolic backtraces

Continuing the development of awesome-c list on GitHub

A high-performance, concurrent hash table

Simple Theorem Prover, an efficient SMT solver for bitvectors

A C mICRO benchmark suite

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

First Practical and General-purpose Range Filter

Roaring bitmaps in C (and C++)