Public open-source releases of Alt-Ergo
bibliography for Irill
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.
Un petit DSL dans OCaml pour dessiner
A virtual machine designed for executing programs written in Hack and PHP.
Les exemples de code de l'option ISN (Informatique & Sciences du Numérique) en OCaml
A JIT in OCaml for Scilab (part of the Richelieu FUI project)
A Web Application for Learning OCaml
Exercices for Learn OCaml
Scientific Computing Tools For OCaml
Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo
A set of Cheat Sheets for OCaml
The official windows installer (built using NSIS) for OCaml
binding for linux-perf library for OCaml
A simple cross-platform OCaml code editor built for top-level evaluation.
An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com
Examples of plugins for ocamlc/ocamlopt
OCaml uncaught exception analyser
This is a fork of the inline-more branch in the OCaml SVN repository.
the initial ocaml tk library
A tool to use .annot files generated for OCaml
See www.typerex.org to download ocp-build
Collection of plugins for CAML_CPLUGINS
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.