PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
object oriented unit testing framework for ocaml
Neural network modeling language
McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.
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.
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.
This project models an In-Memory Relational Database Management System (RDBMS) using the paradigms of a Functional Language. In particular, we use a flavor of ML (Meta Language) called OCAML (Objective Caml) to implement a working RDBMS.
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.
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.
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.
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.
tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future
VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.
PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
This project is a simple interface to the Xdialog tool.
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.
An Ocaml binding to libusb, a library to access USB devices in user space under various Unix variants
GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.
OPath is a physically based rendering system. The renderer takes a scene description written in a simple language describing geometry, materials, lighting and viewing parameters and produces photorealistic, high dynamic range images of the scene.
A command-line utility for image processing.
Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model. Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.
OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).
This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.