#[Welcome to] Coq's Gitter, call by name and don't be afraid. Check out our new Discourse! https://coq.discourse.group/

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

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

A prototype tool for experimenting nominal rewrite systems