Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.
Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.
FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.
DRINKS is a set of smart web-based widgets.
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).
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
"MathML Formula for Flash" is an implementation of MathML to display the mathematical formula and it is intended to be used in Adobe Flash applications. More info you can get from http://www.learn-math.info/mathml.do?action=formula
OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
Fifth is a exciting project to develop a new programming language that has all the capabilityits of C to develop low-level drivers, but uses a postfix syntax and has many high-level features from LISP and ML.
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
Localization for Invision Power Board 3.1.4
JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,
The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.
MODS FR is a repository for french documentation and tools relating to MODS. First, it help librarians to convert UNIMARC records to MODS (XML) metadata. This tool is an XML stylesheet that read MARCXML files produced by a tool like MARC4J.
The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.
An initial version of a native SML MPI implementation.
SWTX is a SWT extension of XMLX project. It can genrate and optimize SWT applications with XML specified by XMLX specification. It also has a UI designer to help user design SWT UI easily. For UI event, it uses script engine specified by JSR-223.