coinst

Collection of tools to find issues in package repositories and help manage Debian package integration.

OCaml331 commits

mountains

A web-based terrain rendering engine, currently showcasing the French Alps.

OCaml391 commits

ocaml-android

Ocaml cross-compiler for Android

C40 commits

ocaml-smithy

No description

OCaml36 commits

opam-android-repository

Android cross-compiler: package descriptions for OPAM

Shell29 commits

opam-windows-repository

Ocaml cross-compiler for Windows: packages description for OPAM

Shell47 commits

osm

Experiments with the OpenStreetMap database : map rendering, routing, ...

OCaml61 commits

theo

A BDD library with theory support

OCaml20 commits