| Date | Name | Description |
|---|
| 2001-08-10 | A list of significant Caml applications | |
| 2004-10-11 | Active DVI | A presenter and previewer for texts or slides written in LaTeX.
By Pierre Weis, Jun Furuse, Xavier Leroy, Alan Schmitt, Didier Rémy, Didier Le Botlan, Roberto Di Cosmo, Alexandre Miquel |
| 2004-10-27 | Ant | Ant is a typesetting system inspired by TeX. It does not aim at complete compatibility with TeX but focuses instead on a flexible, clean, andmodular design.
By Achim Blumensath |
| 2003-08-13 | ara | A utility for doing boolean regexp queries on the the Debian package database.
By Berke Durak |
| 2003-03-11 | bibgrep | Index and efficiently search throught bibtex files using a google-like query syntax.
By Guillaume Marceau |
| 2001-08-09 | bibtex2html | A collection of tools for translating from BibTeX to HTML.
By Claude Marché, Jean-Christophe Filliâtre |
| 2001-08-09 | bmktrans | Bookmark translator.
By Pierre Boulet |
| 2002-08-26 | camllets | A web server able to execute caml applets to generate dynamic pages.
By Jacobo Pérez Guardado, Victor M. Gulias |
| 2003-05-26 | CCured | A source-to-source translator for C.
By Scott McPeak, George Necula, Jeremy Condit, Matthew Harren, Westley Weimer |
| 2003-09-25 | CiME | A rewrite and constraint-solver tool.
By Claude Marché |
| 2004-10-27 | Cocanwiki | A wiki in OCaml.
By Richard W.M. Jones |
| 2002-04-11 | Coq | A proof assistant.
By Judicael Courant, Jean-Christophe Filliâtre, Hugo Herbelin, Gilles Dowek, Christine Paulin-Mohring, Bruno Barras, Benjamin Werner |
| 2003-11-17 | datac | The system daTac aims to do automated deduction in first-order logic with equality.
By Laurent Vigneron |
| 2004-09-07 | Demexp | The demexp project is a free software project (GNU GPL) that aims at
making the software needed to start the democratic experience
project. The democratic experience is a large scale project of direct
democracy. It aims at providing the tools to facilitate the expression
of all citizens, to transform this expression into decisions, and to
apply this decision.
By David Mentre |
| 2001-08-10 | EFuns | An Emacs clone in Ocaml.
By Fabrice Le Fessant |
| 2002-08-23 | Ensemble Juke Box | A distributed audio application designed to exchange high-quality audio data bewteen users on local area networks.
By Mark Hayden, Jason Hickey |
| 2003-07-21 | FoC | An environment to develop certified computer algebra libraries.
By Thérèse Hardin |
| 2001-08-09 | Geneweb | A genealogy software with a Web interface. It can be used off-line or as a Web service.
By Daniel de Rauglaudre |
| 2003-08-25 | GlSurf | A program (similar to Surf) to draw surfaces from their
implicit equations.
By Christophe Raffalli |
| 2001-08-10 | GwML | A window-manager written in Ocaml. Configuration is done by dynamically loading Ocaml bytecode modules.
By Fabrice Le Fessant |
| 2002-05-22 | Hevea | A quite complete and fast LATEX to HTML translator.
By Luc Maranget |
| 2003-01-20 | HOL-light | A small and idealistic, yet fairly powerful, theorem prover.
By John Harrison |
| 2001-12-20 | IceDock | Dockapp support ala WindowMaker/AfterStep for IceWM, TWM, MWM, Sawfish, KWin, ...
By Vassili Karpov (Malc) |
| 2002-09-16 | Link | A theorem prover for Multiplicative Linear Logics based on PROOF NETS Construction.
By Didier Galmiche, Luc Habert |
| 2004-12-03 | lpd | A small threaded line printer daemon whose primary goal was to enable the use of a windows-only printer, it should be easily modifiable for other purposes. A small module of pervasive-like functions for sockets on all platforms (including win9x) is bundled together.
By Christophe Troestler |
| 2002-12-12 | Luo | A system written in Caml and Maple to perform average-case complexity analysis of algorithms.
By Paul Zimmermann, Bruno Salvy |
| 2001-10-01 | Mathplot | A GUI frontend for interactive graphing of functions. It also has a program to generate PostScript output.
By Pascal Rigaux (Pixel) |
| 2004-02-16 | MetaPRL | The MetaPRL system combines the properties of an interactive LCF-style tactic-based proof assistant, a logical framework, a logical programming environment, and a formal methods programming toolkit.
By Jason Hickey, Aleksey Nogin |
| 2002-07-26 | MLChat | A small chat application written in OCaml with the LablGtk interface.
By Maxence Guesdon |
| 2002-10-16 | MLDonkey | A linux client developed in OCaml for the peer-to-peer file sharing network edonkey 2000.
By [b8]bavard |
| 2004-04-14 | NAB (Network in A Box) | NAB is a network simulator targeted at wireless ad hoc and sensor networks.
By Henri Dubois-Ferriere |
| 2004-10-26 | Ocamaweb | A CWEB like literate programming tool. It is designed to target all languages and actually has a version targeting the MATLAB language.
By Charles-Albert Lehalle |
| 2002-03-05 | oclisp | A minimal lisp interpreter, for educational purposes.
By Andrew Birkett |
| 2004-09-07 | Orpie | 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, command completion, and a visible interactive stack.
By Paul Pelzl |
| 2002-04-24 | Phox | An extensible proof assistant based on High Order logic.
By Christophe Raffalli |
| 2002-12-30 | Planets | A simple interactive program for playing with simulations of planetary systems.
By Yaron M. Minsky |
| 2003-09-25 | Securify | A tool to verify secrecy for cryptographic protocols.
By Véronique Cortier |
| 2003-03-12 | SKS | A new OpenPGP keyserver whose goal is to provide easy to deploy, decentralized, and highly reliable synchronization.
By Yaron M. Minsky |
| 2002-08-26 | SpamOracle | Detection of spam by statistical analysis of e-mail contents.
By Xavier Leroy |
| 2003-04-14 | sumo | A system for extracting structural and possibly functional
similarities in 3D structures of proteins.
By Martin Jambon |
| 2001-09-20 | SwiftSurf | Smart web proxy written in OCaml.
By Sébastien Ailleret |
| 2002-09-10 | Syndex | A graphical interactive software implementing the AAA methodology, to find the best matching between an algorithm and an architecture.
By Yves Sorel |
| 2001-08-09 | Unison | A file-synchronization tool for Unix and Windows. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.
By Benjamin C. Pierce, Trevor Jim |
| 2003-09-29 | Why | A software verification tool.
By Jean-Christophe Filliâtre |
| 2003-12-19 | wsync | A clever uploading tool, for synchronizing files on a distant
FTP server (eg the content of a web site) with a local set of files.
By Christophe Deleuze |
| 2003-03-24 | WTimer | A web application to manage time sheets.
By Gerd Stolpmann |
| 2004-10-27 | Xara | Xara allows to do boolean
regexp searches on the Debian package database in a LablGTK2 GUI.
By Berke Durak |
