112 projects tagged "OCaml"

Download Website Updated 14 May 2008 Virt-df

Screenshot
Pop 38.42
Vit 1.00

Virt-df is a df implementation for virtual guests. The program is meant to be run on the host or dom0 to display disk space used and available on all partitions within all guests. There is no need to run any software or agent inside the guests. It is compatible with most Linux and Windows guests.

Download Website Updated 25 May 2008 bitstring

Screenshot
Pop 20.78
Vit 1.00

Bitstring is a powerful language extension for OCaml which adds native parsing of arbitrary bitstrings, in the style of Erlang. Bitstring can be used to parse and generate binary file formats and binary protocols. This project was formerly known as "bitmatch".

Download Website Updated 04 Jul 2010 Logic File System

Screenshot
Pop 35.07
Vit 1.00

The Logic File System enables the user to access files through an additionnal mountpoint, /lfs, where powerful logic queries can be issued and navigation can be done through different dimensions, like date, size, or extension. For instance, LFS allows the user to perform the following commands in the shell: "cd /lfs/ext:mp3|ext:ogg/year:1973/genre:Disco/" and "ls artist:BeeGees/ artist:DonnaSummer/ artist:Chic/".

No download Website Updated 04 Nov 2012 Bisect

Screenshot
Pop 28.30
Vit 4.75

Bisect is a code coverage tool for the Objective Caml language.

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.05
Vit 1.59

The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Download Website Updated 10 Aug 2008 virt-mem

Screenshot
Pop 28.14
Vit 1.00

Virt-mem is a set of system administrator tools for monitoring and diagnosing issues with virtual machines. Tools such as "virt-ps" and "virt-dmesg" work analogously to ordinary "ps" and "dmesg". No software has to be installed inside the virtual machine.

Download Website Updated 06 Apr 2009 OCaml Batteries Included

Screenshot
Pop 30.69
Vit 2.36

OCaml Batteries Included serves the following purposes: define a standard set of libraries that may be expected on every compliant installation of OCaml, organize these libraries into a hierarchy of modules with one source of documentation, and provide a consistent API for otherwise independent libraries.

Download Website Updated 06 Oct 2008 GenePool

Screenshot
Pop 12.17
Vit 1.00

GenePool is a small representation-agnostic framework for writing evolutionary algorithms in OCaml. The developer supplies functions which give meaning to fitness and mutation while the GenePool library takes care of the plumbing.

Download Website Updated 21 Nov 2008 Zytouch Driver

Screenshot
Pop 26.66
Vit 2.01

Zytouch Driver is a userspace driver for USB-connected projected capacitance touchscreens from Zytronic. It uses libusb to read data from the device, and the X11 XTest extensions to feed X events into the X server.

No download Website Updated 30 Aug 2012 Kaputt

Screenshot
Pop 20.98
Vit 3.97

Kaputt is a testing tool for the Objective Caml language. It features both assertion-based tests (like in the xUnit framworks) and specification-based tests (like in the QuickCheck tool).

Screenshot

Project Spotlight

cclite

LETS and community currency software.

Screenshot

Project Spotlight

bind

Berkeley Internet Name Domain