軟體列表

mlGrace is a high-level OCaml interface to the
Grace 2D plotting application. It makes
extensive use of OCaml's labeled optional
arguments, making the most common plotting
operations quick and easy.

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.

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.

mod_caml is a set of Objective CAML (OCaml)
bindings for the Apache API. It allows you to run
CGI scripts written in OCaml directly inside the
Apache Web server. However, it is much much more
than just that. You can bind to any part of the
Apache request cycle, read and modify internal
Apache structures, share modules of code between
handlers and scripts, or use the CGI library and
templating system (allows separation of code and
presentation).

Mp3tag is an Objective-Caml library for reading and
writing ID3v1 and v2 tags in MP3 files. It includes
mp3tag tools, which can be used to modify tags in
MP3 files or rename files according to their tags, and
a cddbtag tool that modifies tags by using a CDDB
server to retrieve information about the track.

CamlTemplate is a library for generating text from
templates in Objective Caml. It can be used to
generate Web pages, scripts, SQL queries, XML
documents, and other sorts of text files. It
provides a versatile, easy-to-learn template
syntax that supports common scripting-language
constructs, while encouraging a separation between
presentation logic and application logic. The
supported Caml data structures accomodate lists,
tables, and trees of items in a straightforward
manner. CamlTemplate works well with mod_caml and
mod_fastcgi, supports any ASCII-compatible
encoding, including UTF-8, and includes optional
support for multithreading.

cfind (Content FINDer) provides functionality
similar to that of Google Desktop on Unix, with an
interface similar to that of locate.

pfff_visual is a fancy code visualizer using treemaps and source code thumbnails rendered through Cairo. It leverages static analysis of the code to give semantic feedback visually, which can help you understand the architecture of a project. Pfff_visual uses the pfff infrastructure, which is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. For now, the effort is focused on PHP but there is preliminary support for JavaScript, C, C++, Java, SQL, and even TeX. There is also preliminary support for OCaml code so that the infrastructure can be used on the code of pfff itself.

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.

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.

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.

Ocsigen is a research project aiming at developing new programming techniques for the Web. It contains a full featured Web server and a programming framework that provides a way to create dynamic Web sites. Its goal is to offer an alternative to Apache/PHP, based on technologies from research in programming languages. There is also a module, called Eliom, for generating dynamic Web pages. With Eliom, you program in a concise and modular way, with a strong type system which helps you to produce valid XHTML. The server handles sessions, URLs, and page parameters automatically.