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.
The Blast Software Verification Tool
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.
A set of tools for the Objective Caml language build and maintained by the OCaml community.
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.
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.
Galaxy Invaders is a online multiplayer game. It consists of a series of different levels and challenges, each more difficult than the last, where the player must evolve amoung and against the other hostile connected player.
A testbed for checking the potential usefulness of some new methods of measuring the closeness of gene sequences.
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.
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
Neural network modeling language
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.
An implementation of the Objective Caml (http://caml.inria.fr/) language for the Parrot (http://parrot.org) virtual machine.
OcT (Ocaml Timetable) is a timetable maker assistant for universities or schools. It checks all constraints (teachers' whishes, rooms' specification & accessibility, ...) to obtain an optimized timetable. GUI provides "drag and drop" planning filling
A library to develop high availability aplications not based on threads and written in Ocaml language. It provides support for protocol encoding/decoding, active/passive or active/active services, replicated data storage, ...
This is an ocaml binding for LevMar Minimization library. The library offers minimization from IR^n to IR^d finding the point which minimizes the distance ||f(p)-x0|| where x0 is the solution in the image space. The binding enables to use ocaml functions
Open source CV (resume) format and APIs for recruiting industry and HR departments
Code Name Parallax :: Soon to be MO(RPG?) 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.
Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.
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.
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.