- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.1 weekly downloads
LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...4 weekly downloads
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
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th1 weekly downloads
A simple and deterministic syntax for wikis and more...
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.21 weekly downloads
SMOCaml is a server for Stepmania Online written from scratch in OCaml.1 weekly downloads
Code Name Parallax :: Soon to be MO(RPG?) game.
Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.