Overactive Logistics is a freight forwarding software solution being developed for the cargo transportation industry. It runs in both web based or stand alone modes and provides a graphical user interface with rich client capabilities.
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.
MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation
The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
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.
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.
This library interfaces the PCRE-library (Perl Compatibility Regular Expressions) to OCaml.
XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.
SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific doma
Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.
Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently.
GD4O is an OCaml interface to the GD graphics library. It provides OCaml developers a means to generate and manipulate bitmap images. TrueType fonts and antialiased drawing are supported. GD4O is based on OCamlGD 0.7, developed by Shawn Wagner.
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.
SGML DTD for the creation of Bash scripts for iptables configuration
Native code compiler for Standard ML 97 and associated libraries and tools.
A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i