Go to https://coq.zulipchat.com/ or 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

A prototype tool for experimenting nominal rewrite systems

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