ggelite aims to be a clone/improvement of the old eighty's game called "elite"
A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.
OCamlODE is an OCaml interface to the ODE (Open Dynamics Engine) library. It is memory-safe (by extending ODE with finalisation support and reference-aware cleanup) and type-safe (exploring ways to incorporate subtyping).
This is a multi platform network render queue manager for Lightwave 8 accessible through a web browser
OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.
A small programming language provided with an OCaML compiler.
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
Errances is a tactical role playing game written in OCaml. Features battles in a 3D environment. The aim is to have lots of secondary quests but not a single main story.
Browser based Remote DJ software
A system to DJ and broadcast your show to a SHOUTCAST/ICECAST server using your browser for the DJ console. Put your music and data on a server and DJ from anywhere you have an internet connection. Even have multiple DJs collaborating during one show. Uses cross platform packaged components, so you can mix and match front end/back end. Mix and match component releases.
Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.
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.
Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.
A Rogue-like game with an unforseenable physic.
This is a project of a Rogue-like game that would be… more unforseenable. Its game generator is meant to be more complex than other Rogue-like so that even its own physics can be modified by magic (among other things). To test it, run the following command on a terminal: bzr branch bzr://mythes.bzr.sourceforge.net/bzrroot/mythes ; cd mythes ; make launch If you encounter any difficulty, please contact developers.
Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
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.
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
Simple collection of Artificial Intelligence methods implemented in 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.
Eclipse Plugin of OCaml
Voici un petit programme fait en Ocaml / Python et Blender. Ce programme a pour but de générer des labyrinthes en 3D mais aussi de les résoudre. ;)
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
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
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
Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.