- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th1 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...1 weekly downloads
SMOCaml is a server for Stepmania Online written from scratch in OCaml.1 weekly downloads
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
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.
Code Name Parallax :: Soon to be MO(RPG?) game.
A simple and deterministic syntax for wikis and more...