This is an ocaml binding for LevMar Minimization library. The library offers minimization from IR^n to IR^d finding the point which minimizes the distance ||f(p)-x0|| where x0 is the solution in the image space. The binding enables to use ocaml functions
Community of Ocaml Programmers where Programs developed in Ocaml can be shared and redistributed and developed further under the GNU Public License.
Set of useful Ocaml libraries. Includes: fileinfo (package to track how data files are produced), intvmap (extension to Map), mapmin (a map with access to min and max element) and vec (extensible, functional arrays).
Ocaml implementation of FIX protocol.
A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions
Open source CV (resume) format and APIs for recruiting industry and HR departments
Autononous mobile robot programming environment for Robotino.
Generic Optimization Library
PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
Code Name Parallax :: Soon to be MO(RPG?) game.
PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.
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
This is a multi platform network render queue manager for Lightwave 8 accessible through a web browser
Backtester for AAII SI PRO Data via RadiScript screens
SMOCaml is a server for Stepmania Online written from scratch in OCaml.
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).
This project is going to be an IDE for Objective Caml with syntax-highlighting.
Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.
This project aims to develop a new high-dynamic engine (codebase) for MUD's. We're not going to use any of existing codebases writing everybit from scratch. Ppl with knowledge of any programming language at any level are welcome.
A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex
Mastic is a extensible self-modifying programming language. It will be used as a bootstrap for the development of a fully extensible programming environment (called HOPE) governed by the principles of Concept, Intentional and Literate programming.