The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
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.
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.
AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.
A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins
This project is going to be an IDE for Objective Caml with syntax-highlighting.
This project aims to develop a new high-dynamic engine (codebase) for MUD's. We're not going to use any of existing codebases writing everybit from scratch. Ppl with knowledge of any programming language at any level are welcome.
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.
The b-calculus musical analysis assistant and data miner
ocaml library/module to write mathematics in a web page (forum, blog), that support cgi scripts
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.
Modal window manager in OCaml