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.
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.
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.
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.
Eclipse Plugin of OCaml
CamlGI is a web framework build on top of OCamlNet2.
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.
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.
DigitalEyes is an OCR (Optical Character Recognizer) developed in C/Caml released under GNU GPL by SuM42, as a sophomore project in EPITA.
A small programming language provided with an OCaML compiler.
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.
A command-line utility for image processing.
A program which aims at compressing and decompressing image files in various formats using the fractal compression method.
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.
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.
GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
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.
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.
Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.
OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/
Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets.