damiendoligez Goto Github PK

atdgen

Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions (official repository)

bitstring

OCaml Bitstring - bitstring matching for OCaml

bitv

OCaml bit vector library

caml2html

Syntax highlighter for OCaml

camlp4

Camlp4 tool

caravan

A framework for testing arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.

coccinelle

Release tracking for the Coccinelle project

core_bench

custom_printf

Syntax extension for printf format strings

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

gsl-ocaml

OCaml bindings to the GSL (GNU Scientific Library).

irmin

Irmin is a distributed database that follows the same design principles as Git

labltk

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

liquidsoap

Audio and video streaming language

logs

Logging infrastructure for OCaml

lwt

A cooperative threads library for OCaml.

mldonkey

cross-platform multi-network p2p daemon

mlpost

modelica.ml

Modelica frontend implemented in OCaml

obigstore

obigstore: database with BigTable-like data model atop LevelDB

obuild

simple package build system for ocaml

ocaml

New experimental features for OCaml