Open Source OCaml (Objective Caml) Software for BSD

Audio toolkit for streaming, aiming at complex Internet radio 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.

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

MLDonkey is a multi-platform multi-network peer-to-peer client.

A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor. This lets your services run more efficiently, securely and with finer control than with a full conventional software stack.

Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.

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).

MTASC is an open-source (GPLv2) ActionScript 2.0 compiler developed by Motion-Twin Technologies (http://www.mtasc.org/). Motion-Twin no longer releases updates to MTASC though. This project is a community fork of MTASC with new improvements.

OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.

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

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

A User-supported Extended Standard Library for OCaml

A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar

This is an Ocaml implementation of a variant of Core War I’ve invented where programs can travels through time (which can replace the threads). It’s more or less functionnel now. There stay some bugs, but we can play with it right now! If you have any warrior, you can send them to me by email, I’ll send you mines back ;) To try it quickly, just type in an Unix terminal the following command: bzr branch bzr://timecorewar.bzr.sourceforge.net/bzrroot/timecorewar ; cd timecorewar ; make all opt There is also a JavaScript implementation of it, where you can play directly in your browser against some warriors there: http://timecorewar.sourceforge.net You can exchange fighter or discuss about strategies on https://sourceforge.net/p/timecorewar/discussion/fighters/ If you want any informations about this project, just contact me! Martin.

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

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.

CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

CamlAL is an OCaml bindings for OpenAL.

Eclipse Plugin of OCaml

CamlGI is a web framework build on top of OCamlNet2.

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.