Starting from various input files, we parse to find a list of addresses, then display them on a map.
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.
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
CamlGI is a web framework build on top of OCamlNet2.
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.
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.
EasyBMP-OCaml is an Objective Caml interface to the EasyBMP library (http://easybmp.sourceforge.net/).
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
A command-line utility for image processing.
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.
A tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, this means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics.
This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.
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
A set of blocks games (sokoban, taquin and various others) in 3D
MicroCartouche OSI est un petit logiciel de mesures et de formatage pour microphotographe. Il est particulièrement indiqué pour les échanges d'images dans le forum du Naturaliste (http://www.lenaturaliste.net/index.php)
OCR software written in C/CAML on Freebsd with a simple GTK+ gui.
An OCaml wrapper for the Syck YAML tookit.
Camlp4 extension to check code coverage of any OCaml code