Audio and video streams generator
Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.
MLDonkey is a multi-platform multi-network peer-to-peer client.
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, unpaper, tesseract, gs, and hocr2pdf (if tesseract < 3.03). It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. In contrast to most competing sandwich programs, it performs preprocessing of the scanned images, such as de-skewing or removal of dark edges etc. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html
OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.
OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
OCaml bindings for GLPK
OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.
Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.
This library provides an easy interface to Gnuplot (http://www.gnuplot.info/) from OCaml (http://caml.inria.fr/) for static 2D and 3D graphs and simple animations. This library aims to be portable on all platforms OCaml runs on.
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex
banshee-- A toolkit for building constraint-based program analyses
Alpha roguelike game development framework.
Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.
a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.