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.
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
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
Objective Caml (OCaml) Elipse Plug-In
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
The Virtual Amoeba Machine Network is a communication environment for distributed measuring-, data acquisition and parallel computing systems, running on the top of UNIX (R) like operating systems. The VAM system is mostly written in ML.
This project aims at developping a set of programs for business needs, such as accounting, payroll and inventory.
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).
It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.
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.
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
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.
TicTacTic is a variation of TicTacToe, introducing the concept of 'Aging Cells', implemented in Caml, a functional language in the Lisp family
Frobots is a programmer's robot game. Bots run user-supplied code and fight each other in a two-dimensional arena. Frobots is developed in OCaml and distributed under the GNU General Public License.
A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.