damiendoligez

opamcheck

scripts to test OCaml compiler changes on the whole OPAM repository

ocaml

New experimental features for OCaml

opam-repository

Fixes for opam-repository.

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

bitstring

OCaml Bitstring - bitstring matching for OCaml

dune

A composable build system for OCaml.

eventlog-tools

Tools for the runtime tracing in OCaml 4.11.0 and higher

Examples

A collection of TLA+ specifications of varying complexities

extunix

Thin OCaml bindings to various low-level system APIs which are not covered by Unix module

flexdll

a dlopen-like API for Windows

flow

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

Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

gen_js_api

Easy OCaml bindings for Javascript libraries

glMLite

OCaml bindings for OpenGL

labltk

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

mlpost

modelica.ml

Modelica frontend implemented in OCaml

ocaml-beta-repository

Opam2 remote for beta versions of the OCaml compiler

ocaml-extlib

Extended Standard Library for OCaml

ocaml-milter

OCaml bindings to libmilter

ocaml-multicore

Multicore OCaml

ocaml.org

Implementation of the ocaml.org website.

opamcheck-results

Results from running opamcheck. This is intended for viewing through github.io.

ppx_import

Less redundancy in type declarations and signatures

RFCs

Design discussions about the OCaml language

secur-ocaml

Secure OCaml

test

testing github

tlapm

The TLA Proof Manager

tophide

Hide values starting with _ in the ocaml toplevel

ulex