CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
banshee-- A toolkit for building constraint-based program analyses
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.
Ocaml implementation of FIX protocol.
object oriented unit testing framework for ocaml
Implementation of SeqBox in OCaml