A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Implementation of SeqBox in OCaml
ggelite aims to be a clone/improvement of the old eighty's game called "elite"
Audio and video streams generator
Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.
A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.
CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
A small programming language provided with an OCaML compiler.
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).
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
An OCaml plugin for GNU Global, using CamlP4 for versions 3.10 of OCaml and above. Provides ocaml_tags, which creates tags for ml and mli files, and an ogtags script that wraps a gtags call with the ocaml_tags plugin.
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.
Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.
An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.
WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
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.
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.
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.