Ocaml implementation of FIX protocol.
A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions
PG'OCaml provides an interface to PostgreSQL databases for Ocaml applications. It extends the Ocaml syntax, enabling the embedding of SQL statements inside the Ocaml code, and checking at compile-time the consistency between the programme and the DB.
PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
SMOCaml is a server for Stepmania Online written from scratch in OCaml.
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.
A Core War with time manipulation!
tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future
This project is a simple interface to the Xdialog tool.
A simple and deterministic syntax for wikis and more...
image2matrix is a command line utility that takes an image file as an argument and returns a numeric matrix containing the color values of each pixel.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
Objective Caml Ultimate Lisp is a Lisp dialect implemented in OCaml. It performs many features, such as lazy evaluation, and both static and dynamic linkage, partial application of functions, tail-recursivity ...
Implementation of SeqBox in OCaml
object oriented unit testing framework for ocaml
Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
Objective caml to Python binding. It allows creating Python extension modules (*.so) using Objective caml language.
VREng (Virtual Reality Engine) is an Interactive and Distributed 3D Application allowing navigation in Virtual Environments connected over the Internet using Unicast or Multicast if available.