112 projects tagged "OCaml"

Download Website Updated 08 Jan 2006 UMLMON

Screenshot
Pop 42.66
Vit 1.43

UMLMON is a complete run time environment for User Mode Linux. There is a separate monitor daemon for every VM. It creates the run time environment and starts the VM by executing the UML kernel. The daemon also determines the arguments that are passed to the UML kernel, and includes special support to set up arguments for memory size, virtual disks, virtual network interfaces, and console channels in a convenient way. UMLMON also includes routines to do certain administration tasks like the creation of disks.

Download Website Updated 21 Nov 2005 Free Tennis

Screenshot
Pop 48.61
Vit 2.24

Free Tennis is a tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, "realism" means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics. A two-player mode via LAN is available.

No download Website Updated 05 Feb 2006 palmfs

Screenshot
Pop 55.24
Vit 1.00

palmfs is a PalmOS filesystem access software for Linux, based on FUSE. It consists of two parts, a client and a server. The client is a FUSE-based application running on the Linux system. The server part is a PalmOS application that actually executes commands sent by the client. It is intented to support various communication ports and to access the PalmOS internal filesystem as well as expansion cards.

Download Website Updated 05 Jun 2006 Bake

Screenshot
Pop 33.41
Vit 1.43

Bake is a small domain-specific programming language for describing how to transform one file into another. It uses the typical topological sort, but has features that make describing this relatively easy. It should feel comfortable to those familiar with Javascript, Python, and make.

No download Website Updated 19 May 2006 Caml-get

Screenshot
Pop 12.81
Vit 1.00

Caml-get is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility.

No download Website Updated 04 Jul 2006 MyCGR

Screenshot
Pop 17.55
Vit 1.00

MyCGR implements the research of the thesis of Peggy Cénac regarding the use of CGR (Chaos Game Representation) to build a new family of tests for the structure of sequences. It can empirically check the level and power of the tests and apply them on DNA sequences. It can generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees and to define CGR-trees.

Download Website Updated 07 Jul 2006 Kom

Screenshot
Pop 19.29
Vit 1.00

Kom stands for "Keep old mails". It imports email messages into a MySQL database, and provides a frontend in GTK 2 to search and browse the archived messages. Some options can be used to incrementally import email (per month, for example). It can also export messages stored in the database, in mbox format or one-message-per-file format, and generate some statistics.

Download Website Updated 13 Jan 2008 SRESI

Screenshot
Pop 74.77
Vit 9.82

SRESI is a smart bookmark manager. It currently sports both a command-line and a PHP interface. It works with both the standard hierarchical trees and the new and fashionable tagged bookmarks. It was developed as a way to interface both representation systems. SRESI can use Del.icio.us, Mozilla, Opera, and XBEL bookmarks, and handles a few more exports besides. Directories and tags are used equivalently, and the final hierarchies are inferred from actual tag use.

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 17.72
Vit 1.00

GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

Download Website Updated 10 Jul 2008 Liquidsoap

Screenshot
Pop 40.40
Vit 1.99

Liquidsoap is a powerful tool for building complex audio streaming systems, typically targetting Internet radio stations. It consists of a simple script language, which has a first-class notion of source (basically a stream) and provides elementary source constructors and source compositions from which you can build the streamer you want. There is no constraint on the streams, in contrast to many other tools which can only stream one file after another. Moreover, it is not restricted to a single stream. Finally, it interfaces well with external tools.

Screenshot

Project Spotlight

cclite

LETS and community currency software.

Screenshot

Project Spotlight

bind

Berkeley Internet Name Domain