OCaml Forge

saffire

Saffire is an FFI-checker. This project is a fork of the last release (from 2009).