112 projects tagged "OCaml"

Download Website Updated 16 May 2012 MLdonkey

Screenshot
Pop 265.63
Vit 12.54

MLdonkey is a multi-platform, multi-network peer-to-peer client. It supports several large networks such as eDonkey, Overnet, Kademlia, Bittorrent, Gnutella (Bearshare, Limewire, etc.), Gnutella2 (Shareaza), or Fasttrack (Kazaa, Imesh, Grobster). Networks can be enabled or disabled. Searches are performed in parallel on all enabled networks. For some networks, each file can be downloaded from multiple clients concurrently.

Download Website Updated 04 Mar 2004 markup

Screenshot
Pop 9.75
Vit 1.00

markup is a library to read and validate XML files from Ocaml. It can validate their structure against a DTD, and the parsed XML is organized in a tree to allow its processing. It has fewer features, but also fewer dependencies than the PXP library.

No download Website Updated 16 Mar 2004 perl4caml

Screenshot
Pop 9.95
Vit 1.00

perl4caml allows you to use Perl code within Objective CAML (OCaml). It has both a low-level interface to Perl, and high-level wrappers around some CPAN libraries.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 38.77
Vit 3.57

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 02 Apr 2004 Dirty Water

Screenshot
Pop 15.75
Vit 1.00

Dirty Water is an original MUD server/engine written in OCaml. It is designed to be much more advanced and realistic and to encourage role playing more than Diku-style MUDs.

Download Website Updated 14 Sep 2007 Orpie

Screenshot
Pop 101.69
Vit 4.08

Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, units support, base conversions, command completion, configurable keybindings, and a visible interactive stack.

No download Website Updated 07 Apr 2004 NAB

Screenshot
Pop 17.83
Vit 1.00

NAB is a network simulator targeted at wireless ad hoc and sensor networks. It places a particular emphasisis on scalability and visualization. Routing protocols currently implemented are AODV, EASE, and FRESH. Various MAC layers are available including a null MAC and a CSMA MAC.

No download Website Updated 08 May 2004 GNU Digital Audio Player

Screenshot
Pop 14.83
Vit 60.60

GNUdap is a project to build a userspace driver to interface Linux with proprietary-protocol USB MP3 players and mass storage devices. Currently, GNUdap supports only the "Perstel,Inc. CHIC MP10". GNUdap is also an experiment to test the advantages of a strongly-typed programming language and of the functional programming paradigm in hardware development. GNUdap currently supports all features supported by the official program provided with the Chic, and has some additional features, like being able to transfer MP3s directly to the PC.

Download No website Updated 30 May 2004 OCamlConf

Screenshot
Pop 18.89
Vit 2.01

OCamlConf is an OCaml build tool that resembles GNU autoconf to the user, but uses OCaml in the backend rather than shell script. It is a library for writing "configure" scripts in OCaml as well as a front-end for creating these cross-platform "configure" scripts.

Download Website Updated 12 May 2004 OCaml-FreeTDS

Screenshot
Pop 22.98
Vit 1.41

OCaml-FreeTDS is a binding to the ct-lib component of the FreeTDS library for accessing Sybase and Microsoft (or other TDS) database servers. It is intended for people to whom the more general OCamlDBI database layer doesn't apply.

Screenshot

Project Spotlight

cclite

LETS and community currency software.

Screenshot

Project Spotlight

bind

Berkeley Internet Name Domain