recoules's Stars
ocaml/dune
A composable build system for OCaml.
ocaml/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
bitwuzla/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
ivmai/libatomic_ops
The atomic_ops project (Atomic memory update operations portable implementation)
binsec/binsec.github.io
www presence for the BINSEC binary-level analysis open-source platform