OCamlPro

ollvm

An higher-level LLVM binding for OCaml

numcaml

Scientific Computing Tools For OCaml

ocpwin-distrib

Knowledge Database for OCamlPro's version of OCaml on Windows

OCamlPro-OCaml-Branch

This is a fork of the inline-more branch in the OCaml SVN repository.

wxOCaml

a WxWidgets binding for OCaml

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

ocamlexc

OCaml uncaught exception analyser

socaml-analyzer

scilint

A tool to analyze Scilab projects to find potential bugs

ocaml-benchs

Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo

ows

A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.

ISN-OCaml

Les exemples de code de l'option ISN (Informatique & Sciences du Numérique) en OCaml

jit_ocaml

A JIT in OCaml for Scilab (part of the Richelieu FUI project)

ocamltk

the initial ocaml tk library

richelieu

OCamlPro working copy of the Richelieu branch of Scilab 6

perfOCaml-2014

an environment to evaluate the performance of OCaml compilers and programs

hhvm

A virtual machine designed for executing programs written in Hack and PHP.

ocp-cplugins

Collection of plugins for CAML_CPLUGINS

ace-ocaml-devel

Dessiner

Un petit DSL dans OCaml pour dessiner

opam-flambda-repository

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

biblio-irill

bibliography for Irill

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.

ocaml-installer

The official windows installer (built using NSIS) for OCaml

ocp-manager

See www.typerex.org to download ocp-manager

ocplib-concur

A simple wrapper on top of Lwt and (partially) Async to write concurrent applications

opam-compilers-repository

opam repository to build my ocaml branches

opam-repository-dose

OPAM Repository for the latest versions of ocamlgraph, cudf & dose, to help with testing

ppx_tools

Tools for authors of ppx rewriters

scilab-online