charguer

tlc

Library for Classical Coq

formalmetacoq

Arthur's Formal Metatheory in Coq

aosoa-demo

ocaml

Trying to improve ocaml type error messages for beginners

cfml

opam-repository

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

pychunkseq

Chunk Sequence for Python

bindall

Binding Keyboard Shortcuts Productively

cakeml-coq

CakeML semantics in Coq

cfml-lean

CFML for Lean

CompCert

The CompCert formally-verified C compiler

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_plugins

Several plugins for Coq

diff2html

Pretty diff to html javascript library (diff2html)

lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

ocaml_multicore_benchmark

Benchmarking programs for multicore OCaml

opam

Archive for all Coq related OPAM packages organized in various repositories

optitrust

OptiTrust

re

The Reach Recent Command for Unix