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.
SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).
Community of Ocaml Programmers where Programs developed in Ocaml can be shared and redistributed and developed further under the GNU Public License.
The MAPeG Geographic Modeler (MGM) will provide you an easy and user-friendly way to visualize your 2D Map into an amazingly stunning 3D view! MGM is a 2nd-Year EPITA Students Project
Camlp4 extension to check code coverage of any OCaml code
Logic Data Base Designer
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
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.
Autononous mobile robot programming environment for Robotino.
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.
The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).
coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob
The b-calculus musical analysis assistant and data miner
An OCaml wrapper for the Syck YAML tookit.
OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
CamlOSG is an OCaml bindings for OpenSceneGraph.
Memol is a well-structured music notation language focused on MIDI.
PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.
Modal window manager in OCaml
Mastic is a extensible self-modifying programming language. It will be used as a bootstrap for the development of a fully extensible programming environment (called HOPE) governed by the principles of Concept, Intentional and Literate programming.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
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.