Binary Analysis Platform
BAP Plugins Repository
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Sinatra like web toolkit for OCaml
A small standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
Serialization library for OpenFlow
The Brick language spec
Compiler of OCaml to Coq.
обсуждение функционального программирования
The Frenetic Programming Language and Runtime System
A prototype tool for experimenting nominal rewrite systems
Implementation in OCaml of the Toml minimal langage (https://github.com/mojombo/toml)