Software Map

ODT （OCaml 開発ツール） JDT （Java 開発ツール） eclipse プラグインのようなことを目指します。OCaml アプリケーション開発のための IDE の機能を提供します。Http://ocamldt.free.fr （チュートリアル、インストール ノートなど) についてを参照してください。

OCaml MySQL Protocol is an implementation of the MySQL protocol using the OCaml Bitstring library.

newfileaction (newfaction) invokes a program for
each file that newly is created in a directory you
want to visit.

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).

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

Paparazzi is powerful and versatile autopilot system for fixed-wing aircraft and multicopters. It comprises both hardware and software. The project includes not only the airborne hardware and software, from voltage regulators and GPS receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.

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.

Goba (Game Of Bases) is a remake of the classic
Flash Attack game featuring pre-rendered graphics,
sound, and networking (no computer opponents) with
meta-server support. You control four tanks and
try to destroy enemy bases while defending your
own. The tanks have weapons, a set of mines, and
the capability to build walls and fake bases, all
of which may be recharged back at the base. The
bases have a limited number of bomb attacks in
their disposal, plus a laser beam that can cut
through the whole game field (2000 x 2000 pixels).

IBGS is a game server for board games such as
chess, go, checkers, and nine nens morris. Data
about players and games are stored in an SQL
database. The FICS protocol is supported. The IBGS Client
is part of this project.

demexp is a client/server system for direct
democracies. It makes it possible to ask questions
in the system, add new answers to those questions,
and vote on proposed answers. The voting procedure
used is Condorcet voting. Questions are
classified, and a delegation system allows one's
vote for certain questions to be assigned to a
chosen delegate. The software is tailored to the
needs of the Democratic Experience project.

XSPP (XSL Preprocessor) offers alternative syntax for creating XSLT stylesheets. It alo supports macro expansion, and is written in OCaml.