garrigue

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

certint

A Certified Interpreter for ML with Structural Polymorphism

labltk

LablTk, an OCaml interface for Tcl/Tk

lablgl

LablGL: an openGL interface for OCaml

safeio

An encoding of file handles ensuring linear use

mixev

Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"

ocaml

The core OCaml system: compilers, runtime system, base libraries

opam-repository

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

schedule_parser

Tool to produce programme from researchr data.

camlp4

Camlp4 tool

camlp5

Preprocessor / Pretty Printer for OCaml

conf-data

Conference program metadata.

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.

coq-playground

Experiments using Coq

furl

Formatted url

ocaml.org

Implementation of the ocaml.org website.

ocaml.org-media

Media files that we don't want to include in main ocaml.org repo.

program-generator

seplog

Update for Coq 8.16

smc-coq

tpp2019

tyre

Typed Regular Expressions