OCamlPro's repositories
typerex-lint
Tools to manipulate source files (linting, patching, etc.)
SecurOCaml
Repository of the SecurOCaml Project
operf-micro
A set of micro-benchmarks for OCaml compiler
ocp-typechecker
A tool to verify types inferred by OCaml
operf-macro
Some macro-benchmarks for operf and an OPAM repository for them
typerex-attic
A set of simple tools and libraries that we developed over the years for temporary OCaml projects. Most of them are only maintained/improved when we need them for a task.
ocaml-materialize
Javascript Binding on Materialize
ocamlbench-repo
An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com
ocamlc-plugins
Examples of plugins for ocamlc/ocamlopt
ocplib-cmi
Small library to work with OCaml cmi files
opam-bench-repo
Set of benchmarks for OCaml organized as an OPAM repository
ocp-annot
A tool to use .annot files generated for OCaml
ocp-test-asm
A small testsuite for the OCaml native backend with minimal tests
procaml
The core OCaml system: compilers, runtime system, base libraries
typerex-clibs
Some C stubs
typerex-license
Templates for open-source licenses over Typerex
typerex-system
Some useful system tools in OCaml