BAP Core Library

Welcome to Coq's Gitter, call by name and don't be afraid (see coq/Sphinxing for Sphinx-related questions).

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

BAP Plugins Repository

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

Implementation in OCaml of the Toml minimal langage (https://github.com/mojombo/toml)

A prototype tool for experimenting nominal rewrite systems