youjinbou

SPOC

Stream Processing with OCaml

ollvm

An higher-level LLVM binding for OCaml

ocaml-wlc

Experimental OCaml bindings for Wlc

gg

Basic types for computer graphics in OCaml

tsdl

Thin bindings to SDL for OCaml

tgls

Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml

topkg

The transitory OCaml software packager

xmlm

Streaming XML codec for OCaml

vg

Declarative 2D vector graphics for OCaml

react

Declarative events and signals for OCaml

haskell-tutorial

sysdig

Linux system exploration and troubleshooting tool with first class support for containers

Camomile

A Unicode library for OCaml

ghim

A command-line tool to manage Github Issues

assemblage

A collection of tools to manage the configuration of OCaml projects

ht

The HT Editor: A file editor/viewer/analyzer for executables.

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.

native-coq

Coq with native compilation, as well as machine integers and arrays !

interval-tree

tree for float intervals

Durandal

Entropy-accelerated exact clustering of protein decoys (PDB files).

ACPC

Chemoinformatics tool for ligand-based virtual screening

OCamlSDL2

OCaml interface to SDL 2.0 (for Linux, Windows, MacOS, and ChromeBook)

ocaml-sfml

OCaml binding for SFML (Simple and Fast Multimedia Library), http://www.sfml-dev.org/

glMLite

OCaml bindings for OpenGL

ucorelib

A new Unicode library for OCaml

OCamlODE

OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.

ocaml-xlib

OCaml bindings for the Xlib library.

doom3.gpl

Doom 3 GPL source release

es_core

An experimental framework for low latency, high fps multiplayer games

ocaml

GitHub mirror of the OCaml Subversion repository.