OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.
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
PG'OCaml provides an interface to PostgreSQL databases for Ocaml applications. It extends the Ocaml syntax, enabling the embedding of SQL statements inside the Ocaml code, and checking at compile-time the consistency between the programme and the DB.
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.
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
Browser based Remote DJ software
A system to DJ and broadcast your show to a SHOUTCAST/ICECAST server using your browser for the DJ console. Put your music and data on a server and DJ from anywhere you have an internet connection. Even have multiple DJs collaborating during one show. Uses cross platform packaged components, so you can mix and match front end/back end. Mix and match component releases.
This is a multi platform network render queue manager for Lightwave 8 accessible through a web browser
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.
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
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.