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

BAP Core Library

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

BAP Plugins Repository

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

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

A prototype tool for experimenting nominal rewrite systems