The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
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
AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.
The Blast Software Verification Tool
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
Eclipse Plugin of OCaml
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.
CamlOSG is an OCaml bindings for OpenSceneGraph.
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
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.
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
Don't panic, it's just a game.
Consensus Reality (aka Conreality) is an augmented-reality wargame currently in an early design and planning phase.
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
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.
A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/
DigitalEyes is an OCR (Optical Character Recognizer) developed in C/Caml released under GNU GPL by SuM42, as a sophomore project in EPITA.
Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.
A small programming language provided with an OCaML compiler.
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.