braibant

coq-tutorial-ml-tactics

A tutorial on how to write OCaml tactics for the Coq proof assistant

Synthesis

articheck

ocaml-lmdb

ocaml-windows-bootstrap

Timing-plugin

A Coq plugin that allows a user to start and stop timers.

icfp-contest-2014

ocaml-bitarray

advent-of-code

ocaml-ctypes

Library for binding to C libraries using pure OCaml

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

windows-opam-repository

braibant.github.io

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

ctypes-mitm

Dump-plugin

A plugin for Coq to output values to text-files.

gt-coq-opam-2013

HeatMap

Heat map generation tools

icfp-2021

icfp-contest-2015

icfpcontest2014.github.io

libfixmath

Automatically exported from code.google.com/p/libfixmath

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml

Read-only mirror of INRIA SVN

ocaml-manual

Mirror of the OCaml manual

ocaml-pr6764

ocaml-rs

OCaml extensions in Rust

ocaml-rust

Safe OCaml-Rust Foreign Function Interface

ocaml.org

Implementation of the ocaml.org website.

scripts