Stars
KaRaMeL is a tool for extracting low-level F* programs to readable C code
A simple library to provide RAII in standard-compliant C99, using raii_with(resource, initializer, destructor) { ... }-syntax:
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Baresip is a modular SIP User-Agent with audio and video support
A sorted and updated list of security wargame sites.
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
Home of the HX DOS Extender and its included DPMI-host HDPMI.
RetDec is a retargetable machine-code decompiler based on LLVM.
An LKM rootkit targeting Linux 2.6/3.x on x86(_64), and ARM
Source graveyard and random candy for radare2
UNIX-like reverse engineering framework and command-line toolset
OCamlPro public development repository for Alt-Ergo