C-Reduce, a C and C++ program reducer
C code refactoring browser
High-level C binding for ØMQ
C++ wrapper for czmq. Aims to be minimal, simple and consistent.
Debugging like a sir (in C)
The efficient SMT-based context-bounded model checker (ESBMC)
Minimalistic C client for Redis >= 1.2
Event notification library
Cross-platform asynchronous I/O
ZeroMQ core engine in C++, implements ZMTP/3.1
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
The ZeroMQ Enterprise Messaging Broker
The Official MongoDB driver for C language
TLS/SSL and crypto library
Record and Replay Framework
strace is a diagnostic, debugging and instructional userspace utility for Linux