Findlib A library manager for Objective Caml. 1.2.4 Findlib equeue Equeue is a library that offers general purpose event queues and event queues for system events. 2.0 equeue Camlserv A web server able to execute caml applets to generate dynamic pages. 0.2-2 Camlserv caml-get A tool to distribute pieces of OCaml code in a way similar to apt-get. 0.7 caml-get Developing applications with Objective-Caml An english translation of a complete book on OCaml : language, concepts, tools, libraries. Developing applications with Objective-Caml A Concise Introduction to Objective Caml This document introduces Objective Caml (version 3.01). It does not go into the object-oriented features, however. A Concise Introduction to Objective Caml A generic abstract interpreter We present in extenso the calculation-based development of a generic compositional reachability static analyzer for a simple imperative programming language by abstract interpretation of its formal rule-based/structured small-step operational semantics. A generic abstract interpreter Sample configure.in and Makefile.in A sample configure.in to provide configure scripts for OCaml projects, and the associated Makefile.in. Sample configure.in and Makefile.in Active-DVI Active-DVI is a Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX. 1.10.0 Active-DVI ActiveBuffer This library is an extension of the Buffer library which is included in the standard OCaml distribution. Its interest is to allow to read buffers partially. ActiveBuffer AlphaProlog AlphaProlog is a logic programming language with built-in names, fresh name generation, name binding, and unification up to alpha-equivalence. 0.3 AlphaProlog An example of OCaml/Fortran interface An example of OCaml/Fortran interface Systematic Compiler Construction A compilation course using Caml Systematic Compiler Construction Ant Ant is not TeX. It is a typesetting system similar to TeX. The current version is written in Objective Caml. 0.8 Ant APM This package provides basic interface to Linux APM driver for Objective Caml programs. 1.00 APM Using, Understanding, and Unraveling the OCaml Language These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed. They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ---one of the most popular incarnation of ML--- including its object-oriented layer. Using, Understanding, and Unraveling the OCaml Language Ara Ara is a utility for doing boolean regexp queries on the the Debian package database 0.4 Ara Automli Automli is a small program for O'Caml programmers which automatically generates MLI files from ML files and a specification of which functions, types etc. to export or hide. 0.4 Automli Baire A data structures library. 0.0.0 Baire Zen This toolkit offers a few fundamental structures useful for computational linguistics. It is implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax. 2.2 Zen Yet another markup language preprocessor Yamlpp is a very simple HTML preprocessor inspired by Nicolas Thiery's htmlpp. Yet another markup language preprocessor xstrp4 The xstrp4 extension of the camlp4 preprocessor adds the well-known $identifier expansions to Caml. 1.6 xstrp4 Battle For Rashitoul A strategy/arcade games written in OCaml and C (SDL). Battle For Rashitoul BDBFS BDBFS is a portable, user-level NFS fileserver implemented in OCaml. BDBFS stands for Berkeley DataBase File System: it stores files, metadata (directories, inodes, the superblock) as key:value pairs using the Berkeley Database (Berkeley DB) library. 0.3 BDBFS Bibgrep Bibgrep indexes and searches BibTex files for entries matching a given query. Its usage is similar to the command ``grep'' and the queries uses a Google-like syntax. 0.51 Bibgrep Bibtex2html bibtex2html is a collection of tools for translating from BibTeX to HTML. They allow to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format. 0.69 Bibtex2html Bindlib Bindlib is a library and a camlp4 syntax extension for the OCaml language. It proposes a set of tools to manage data structures with bound and free variables. It includes fast substitution and management of variables names including renaming. 3.0 Bindlib BioCaml BioCaml aims to be a library of useful functions for bioinformatics, written in the Objective Caml (OCaml) language. BioCaml Bitv A bit vectors library. 0.5 Bitv Bmktrans Bookmark translator and pretty printer. 3.0 Bmktrans BNC A lexer/parser for turning files tagged for the British National Corpus into something usefully symbolically manipulated in OCaml. 0.0.1 BNC BSMLlib A functional programming library for for direct-mode BSP (Bulk Synchronous Parallel) algorithms. 0.25 BSMLlib xstr Thread-safe implementation of string searching/matching/splitting. 0.2.1 xstr XSPP XSPP stands for XSLT Stylesheet PreProcessor. It can be used to simplify writing XSLT stylesheets. It is result of author being terrified by xsl:call-template size. 0.0.3 XSPP Xpath This package implements the XPath recommendation; XPath is a simple query language for XML. A compact XPath expression can perform a relatively complex search on the document tree. XPath is used by XLink and XSLT. The package is modularized and functorial: the evaluator is a functor taking as argument an implementation of the XPath Data Model as defined in the recommendation. The package include a lightweight implementation, build from the Pxp document tree. A future version will include a Data Model implementation working directly on this document tree. 2000-09-04 Xpath XmlRPCServer XmlRPCServer is a server side implementation for the XmlRPC package developed by Shawn Wagner. This package provides methods to transform between OCaml data-types and their XmlRPC representation, and visa versa. In addition it provide the client side functionality which enables OCaml clients to call servers written in other languages using XmlRPC. However the current version of the package does not support writing the server side in OCaml, unless you do most of the work yourself. 0.1.0 XmlRPCServer OCaml-xmlr ocaml-xmlr provides bindings for libxml's xmlreader. 1.0 OCaml-xmlr Xmllexer xmllexer is an XML lexer for Camlp4. It is composed of one OCaml file (in revised syntax). xmllexer.ml is derived from the default lexer of Camlp4: plexer.ml (written by Daniel de Rauglaudre). 20021121 Xmllexer XML Light XML Light is a minimal XML parser & printer for OCaml. It provide functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. Since version 2, XML Light add also support for DTD and PCDATA. 2 XML Light Xhtml XHTML is a O'Caml module for creating valid XHTML 1.1 (and XHTML 1.0) documents. The validity of the pages is guaranteed by the O'Caml type system. (NB: at the time of writing, forms support was not complete, only basic forms are implemented. Image maps are also not implemented yet.) Xhtml XDuce XDuce ("transduce") is a typed programming language that is specifically designed for processing XML data. One can read an XML document as an XDuce value, extract information from it or convert it to another format, and write out the result value as an XML document. Since XDuce is statically typed, XDuce programs never yield run-time type errors and the resulting XML documents always conform specified types. 0.4.0 XDuce Xcaml The Application System Xcaml (AS/Xcaml) is a full-featured web-application architecture based on Xcaml, a web-oriented syntax extension of the Objective Caml language. 1.0 Xcaml WTimer WTimer allows you (and your group) to enter time sheets, to store them into a database, and to retrieve reports of them. What can you put into a time sheet? These sheets are organized by days, and every day has several rows. The rows contain the clock time when the activity starts, when the activity ends, how long it lasts, a project identifier, and a description (free text). 1.0 WTimer C-- A ``portable assembly language'' that can replace C as a target language used by compiler writers. C-- wsync WSync is a web uploading tool, i.e. a kind of ``web mirroring'' program, but it operates by ``pushing'' (uploading) files rather than downloading them. If you maintain a web site, you probably generate HTML pages on a local repository on your computer, and then upload them to the web server. WSync can help you a lot. wsync WOWcamldebug WOWcamldebug is a front end that permits to use the OCaml debugger with (g)vim. You can run it as you usually run ocamldebug and it will execute both the ocamldebugger itself, permitting usual interaction, and a gvim window which will be kept in sync with the current debugging position. The current debugging line is highlighted and the cursor is positioned at the current event position on that line. 0.2 WOWcamldebug Why Why is a software verification tool. Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, HOL Light, Mizar and the decision procedures haRVey and Simplify. 1.42 Why calendar An OCaml library managing dates and times. 2.03.1 calendar Ancient Ancient is an OCaml module that allows you to use in-memory data structures which are larger than available memory and so are kept in swap. If you try this in normal OCaml code, you'll find that the machine quickly descends into thrashing as the garbage collector repeatedly iterates over swapped memory structures. This module lets you break that limitation. Of course the module doesn't work by magic :-) If your program tries to access these large structures, they still need to be swapped back in, but it is suitable for large, sparsely accessed structures. Secondly, this module allows you to share those structures between processes. In this mode, the structures are backed by a disk file, and any process that has read/write access that disk file can map that file in and see the structures. 0.9.0 Ancient WDialog WDialog is an advanced system to create dialog-centric web applications.' 2.1.2 WDialog Caml and OCaml exercises About 50 exercises for Caml students from french "Classes préparatoires aux grandes écoles". Caml and OCaml exercises Wallace Wallace is a generic subtyping-constraint-handling library. It deals with constraint solving and simplification, and it is parameterized by the definition of a type algebra. Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed. 2002/11/02 Wallace caml-info-look An Emacs minor mode for automatic look up OCaml Info files. 0.9 caml-info-look caml2html A tool to create hilighted html pages from OCaml files (.ml, .mli, .mll and .mly). caml2html Visual ML VisualML is an OCaml project wizard for Microsoft Visual Studio. It enables easy creation, compilation and errors corrections of OCaml projects under Visual Studio. Visual ML CamlFloat An interface to the Lapack and Blas Fortran libraries which aims to improve the clarity and efficiency of numerical algorithms implemented in OCaml. 0.1 CamlFloat Vim support for .annot files A ViM extension that is able to parse .annot files and print the type of an highlighted (visual mode) part of an ocaml source file. Vim support for .annot files CamlGL OpenGL bindings for OCaml. 0.9 CamlGL Unison Unison is a file-synchronization tool for Unix and Windows. (It also works on OSX to some extent, but it does not yet deal with 'resource forks' correctly; more information on OSX usage can be found on the unison-users mailing list archives.) 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. 2.9.1 Unison CamlG4 A library for Objective Caml allowing SIMD parallel processing on PowerPC G4 processor using the Altivec vector processing unit. 1.00 CamlG4 CamlIDL CamlIDL is a stub code generator and COM binding for Objective Caml. 1.04 CamlIDL CamlImages An image processing library, which provides loading and saving various image formats with an interface for the Caml graphics library. It has also an interface with the freetype library to draw texts using truetype fonts. 3.0.2 CamlImages wxocaml Binding for wxWidgets. wxocaml CamlJava This is a very preliminary release of CamlJava, an OCaml/Java interface. Currently, it provides a low-level, weakly-typed OCaml interface very similar to the JNI. 0.2 CamlJava ulex Ulex is a lexer generator for Unicode and OCaml. 0.4 ulex tuareg imenu Tuareg imenu is an extesion for Emacs of the tuareg mode (it do not work under XEmacs). It help to have an global visoin of you code tuareg imenu Camllisp Lisp-like embeddable language for Objective Caml. 0.0.0 Camllisp Hashtbl syntax extension Camlp4 syntax extension to get more {easy,perlish} usage of Hashtbl module hash tables. Hashtbl syntax extension Camlserv A lightweight server written in Ocaml for highly interactive webpages or even online browser based games. 0.2 Camlserv Tuareg Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of Objective Caml and Camllight codes. Key parts of the code are hilighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. 2.0.1 Tuareg CamlTemplate A small template processor library for Objective Caml. It can be used to generate web pages, scripts, SQL queries, XML documents and other sorts of text files. 1.0 CamlTemplate Trx Generic RPC transaction manager. Trx CamlTK A library for interfacing Objective Caml with the scripting language Tcl/Tk which is included in the OCaml distribution. CamlTK CamlZip An Objective Caml library that provides easy access to compressed files in ZIP and GZIP format, as well as to Java JAR files. 1.01 CamlZip Camomile Camomile is a comprehensive Unicode library for OCaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more. The library is currently designed for Unicode Standard 3.2. 0.8.3 Camomile Cash Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of Scsh, the Scheme Shell by Olin Shivers. The Scsh API is designed for writing useful standalone Unix programs and shell scripts (but rather not for interactive command use). It spans a wide range of application, from “script” applications usually handled with perl or sh, to more standard systems applications usually written in C. 0.20 Cash Trie Implementation of tries (maps over lists). Trie CCured CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. 1.2.5 CCured CDuce A strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation. 0.2.0 CDuce Tony Tony is a simple XML parser and pretty printer for Objective Caml. While you would most likely use it as a library it comes for demonstration purposes as an application. Tony reads an XML file and pretty prints it nicely. The parser is implemented using Lex and Yacc, the pretty printer using Philip Wadler's pretty-printing algebra. Today more complete (and complex) XML parsers for OCaml exist; Tony is still useful if you want to cover the basic case. 0..9.1 Tony CFG Library for manipulation of context-free grammars (CFGs). 1.7.4 CFG cgi A small library to write CGI in Objective Caml. cgi Timbuk Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). 2.0 Timbuk ChartPak An easy-to-use library for dynamically generating business-oriented data visualizations for the web. 1.0a3 ChartPak Cigen Generation of stubs for Caml-to-C interface based on a .h header file (work in progress, not yet complete). Cigen CIL CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. 1.3.7 CIL OCaml Curses OCaml Curses is a project to provide curses / ncurses bindings for the Objective Caml language. It was formally known as Text Mode Kit (TMK), but the TMK part of the project is not supported any more, and instead we are just concentrating on providing reliable OCaml curses bindings. 1.0.1 OCaml Curses CiME A rewrite and constraint-solver tool. 2.0.2 CiME Coca-ml A small extension to ocaml 3-02 called coca-ml and using camlp4 to allow 'down cast' of objects between classes in relations of inheritance and sub-typing. 0.2 Coca-ml CocOCaml CocOCaml is a Cocoa based wrapper for the OCaml toplevel environment. 0.7 CocOCaml Taglet OCaml tag file generator. 1.3 Taglet Combinator Engine A collection of the author's projects on combinator-based implementations of functional languages. Combinator Engine taggage Vim tag file generation for OCaml. 1.1 taggage Compilation course using Caml A compilation course including a tutorial for Caml. Compilation course using Caml Confluence A powerful logic design language that combines the dataflow and component-based methodologies of HDL with the expressiveness of modern functional programming. 0.9 Confluence Constructive Computation Theory A course on pure lambda-calculus. This is an executable course, implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax. Constructive Computation Theory Contfrac An OCaml module for performing exact arithmetic on real numbers by representing them as continued fractions. It implements the well-known algorithm described by R.W. Gosper (see reference below). The continued fractions are lazy evaluated (eventually infinite) lists. Basic arithmetic operations as well as many transcendent functions are available. alpha-1 Contfrac Coq A proof assistant. 8.3 Coq Cours algorithmes et structures de données Lecture notes about data structure in Objective Caml (in French). Cours algorithmes et structures de données Cours de Compilation Lectures notes about compilation (in French) Cours de Compilation Cpsio An Objective Caml implementation of the continuation-passing-style output from Olivier Danvy's paper Functional Unparsing. Cpsio Creal An exact real arithmetic module for OCaml. 0.7 Creal cryptgps Symmetric cryptographic algorithms: Blowfish, DES, 3DES. 0.2 cryptgps Cryptokit A library of cryptographic primitives for OCaml. 1.4 Cryptokit Cstr A full-featured charset and string library. 0.8 Cstr GODIVA GODIVA, the GODI Verpacken Assistant, is a tool for making GODI packages. 0.9.4 GODIVA YaM Another build system for OCaml... The idea is to write a Makefile.ml, using the YaM helper module, and to compile it to get a project specific make. YaM Syndex SynDEx is a graphical interactive software with on-line documentation, implementing the AAA methodology. 6.7.0 Syndex SWIG SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is primarily used with common scripting languages such as Perl, Python, Tcl/Tk, and Ruby, however the list of supported languages also includes non-scripting languages such as Java, OCAML and C#. 1.3.20 SWIG SwiftSurf SwiftSurf is a web proxy that can handle http (1.0 and 1.1) and https. Moreover, it allows page filtering and authentication through a password. 1.2.5 SwiftSurf Sumo A system for extracting structural and possibly functional similarities in 3D structures of proteins. Sumo Stred Provides an ability to interactively edit/navigate arbitrary Ocaml data structures. Stred Stemmer An implementation of the Porter stemming algorithm for OCaml. 0.1.0 Stemmer Splay trees Binary trees where often accessed items tend to be near the root. 0.4.2 Splay trees SpamOracle SpamOracle, a.k.a. "Saint Peter", is a tool to help detect and filter away "spam" (unsolicited commercial e-mail). It proceeds by statistical analysis of the words that appear in the e-mail, comparing the frequencies of words with those found in a user-provided corpus of known spam and known legitimate e-mail. The classification algorithm is based on Bayes' formula, and is described in Paul Graham's paper, A plan for spam. 1.4 SpamOracle SoCaml A binding for the object-oriented 3D scene library Open Inventor (tm). 1.1 SoCaml SKS SKS is a new OpenPGP keyserver whose goal is to provide easy to deploy, decentralized, and highly reliable synchronization. That means that a key submitted to one SKS server will quickly be distributed to all key servers, and even wildly out-of-date servers, or servers that experience spotty connectivity, can fully synchronize with rest of the system. 1.0.7 SKS Securify A tool to verify secrecy for cryptographic protocols. Securify Servinfo A little tool for looking up entries from /etc/services. 1.0.0 Servinfo Schoca Schoca is an implementation of the Scheme language. The primary purpose of Schoca is the use as an embedded extension language in OCaml applications. 0.2.3 Schoca SCAMPI Scampi (Simple CAml to MPI interface) is small library allowing Caml programs to make calls to MPI-1 communication routines. For now only a few calls are provided (basically, getting communicator size, rank and making synchronous and asynchronous send/receive of polymorphic data plus a couple of collective comm), but it is expected that subsequent versions will enlarge the set of provided bindings. This first version, however, effectivily allows building parallel Caml programs running in SPMD mode on a network of workstations for example. 1.2 SCAMPI SCaml A patch, against OCaml 3.07, making it possible to: create, link against and dynamically load shared objects on i386 ELF and Win32 platforms. SCaml saXml A couple of files for turning basic XML documents (channels) into an XML stream. saXml dispimg Exceedingly simple, lightweight, image viewer, using lablgtk2. 1.0.0 dispimg Lablgtkspell Bindings for the GtkSpell spellchecking widget library for use with lablgtk2. 1.0.0 Lablgtkspell Felix Felix is an Algol like strongly typed procedural programming language with a strong purely functional subsystem, including first class functions, pattern matching, variants, recursion, and (currently only) compile time parametric polymorphism. 1.0.20 Felix DBC Simple design-by-contract support using camlp4. 1.0.0 DBC display This little piece of code displays the internal representation of Caml values. It produces a graph as an ASCII file, in a format suitable for the `dot' tool. display Dependent ML Dependent ML (DML) is an experimental extension of ML with a restricted form of dependent types. Dependent ML DocCHM DocCHM is a CHM generator for OCamlDoc. It enable you to generate a CHM file ( Windows CompressedHTML Help file ) instead of the standard HTML output. It automaticaly generate the index and the hyperlinks to upper module, types, etc. You can then quickly browse the documentation, and search index by name. DocCHM DominoCaml An OCaml GPL software aimed to explore aspects of the dominoes game. 3.3 DominoCaml Liquidsoap Savonet is a set of open-source developments around audio stream generation (ogg/mp3/...), and particularly web-radios using Icecast. It is written in OCaml. The heart, liquidsoap, is a very powerful and flexible streaming language, abstracting over format, protocol, stream generation, manipulation and output. Allowing arbitrarily deep-nested composition of streams and easy extensibility, it gives you more power than you need for creating an original web-radio. But liquidsoap is still very light and easy to use, in the Unix tradition of many simple strong components working together. 0.9.2-2 Liquidsoap Dynamic Caml Dynamic Caml is a high-level run-time code generation library for Objective Caml. Implementation is based on an abstract polymorphic type 'a code and function eval : 'a code -> 'a that evaluates it. We introduce various constructors for the code type. All types within dynamically generated code are statically checked at programs compile time. 0.2 Dynamic Caml rpc RPC is a package supporting the Sun RPC protocol. RPC programs, procedures, clients, and servers can be dynamically represented and modified. Of course, there is also a classical RPC generator which generates functions doing the language mapping from XDR values to language values and vice versa. 0.3.2 rpc rmwd Remote Middleware Daemon is a high level identity management library focused on services and access control, and exposed via both xdr-rpc, and xml-rpc. It is written entirely in Objective Caml, except for the trivial xmlrpc interface, which is in perl. 0.7 rmwd RES Library for automatically resizing contiguous memory (arrays and strings). 3.1.1 RES Regexp-OCaml Regexp/OCaml provides convenient syntax sugar for regular expression match for strings using PCRE/OCaml library. 0.9.3 Regexp-OCaml Regexp A library, entirely written in OCaml, for manipulation of regular expressions and string searching. 0.3 Regexp Recursive Recursive is a tiny OCaml module that helps the programmer to manipulate cyclic structures (such as recursive types or finite automata) with maximal sharing and unique representation. 2002-08-08 Recursive Pycaml A system for binding OCaml code with python. Pycaml PXP Polymorphic XML parser. 1.2.1 PXP Purely Functional Data Structures Okasaki's Purely Functional Datastructures in OCaml. 1.0.6 Purely Functional Data Structures PsiLAB Scientific and numerical research environment. 2.0 PsiLAB Programmation système en OCaml Un cours d'introduction à la programmation du système Unix, mettant l'accent sur la communication entre les processus. Programmation système en OCaml Practical hints for using OCaml Hints which might help you get started with OCaml-development (mostly in UNIX environment). Practical hints for using OCaml Postgres PostgreSQL bindings for OCaml. 20040120 Postgres POMAP Library for maintaining partially ordered maps. 2.9.8 POMAP Polygen PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. 1.0pre Polygen Polycopié de Programmation Fonctionnelle Cours de programmation fonctionnelle, illustré par OCaml (in french). Polycopié de Programmation Fonctionnelle Programming Languages A book including a library of Caml code to help the students in the implementation of interpreters for toy languages. 1.0 Programming Languages PoesiaMonIcap An Internet Content Adaptation Protocol filter monitor (see www.i-cap.org). PoesiaMonIcap Planets A simple interactive program for playing with simulations of planetary systems. 0.1.12 Planets PLAN PLAN is a resource-bounded functional programming language that uses a form of remote procedure call to realize active network packet programming. It is part of the SwitchWare Project. 3.22 PLAN Phox PhoX is a proof assistant based on High Order logic and it is eXtensible. One of the principle of this proof assistant is to be as user friendly as possible and so to need a minimal learning time. The current version is still expirimental but starts to be really usable. It is a good idea to try it and make comments to improve the final version. 0.83 Phox Persil A persistent library for Ocaml. PersiL could help you to handle persistent data in your application (data which survive the end of the program). 0.2.1 Persil perl4caml Interface for calling Perl code from OCaml. 0.9.3 perl4caml Pentaminos Solves the Pentaminos puzzle. Pentaminos PCRE-OCAML Perl compatibility regular expressions for OCaml. 5.12.2 PCRE-OCAML Patricia trees Efficient sets and maps over integers, from a paper by Chris Okasaki. Patricia trees patch_record The patch gives a record scoping rule to labels, when accessing (r.l) or modifying a field in a record (r.l <- e); there must be enough type information to know the type of the record. patch_record parallele Library for distributed computing in OCaml. parallele Mlcov MLcov is a code coverage tool for Objective Caml programs. It relies on a source code instrumentation technique which allows measuring of Modified Condition/Decision Coverage (MC/DC), the criterion involved in the DO-178B standard to ensure that safety-critical software is tested adequately. The tool is available as a patch against the version 3.12.0 of the Objective Caml compiler sources. 1.2 Mlcov ECaml A simple object system for OCaml, based on polymorphic variants and a Camlp4 syntax extension. 0.3 ECaml EFuns An Emacs clone in Ocaml. EFuns Emrg A simple OCaml packager. Emrg Langages et Compilation Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS. Langages et Compilation Compilation Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS. Compilation Enhanced Ocaml Documentation The OCaml reference manual with a page containing all grammar production rules, with metasymbols as hyperlinks, pointing to their definition and all changes with respect to previous version are marked with icons or color. 3.10 Enhanced Ocaml Documentation Ensemble A group communication toolkit. 2.00 Ensemble Ensemble Juke Box A distributed audio application designed to exchange high-quality audio data bewteen users on local area networks. 0.9 Ensemble Juke Box Ethread The ethread library has modules for read/write locks, barriers, and a simple thread-safe message queue that interacts with Unix.select so a thread can wait for I/O or a message at the same time. 1.0.1 Ethread Exercices en Caml Some exercices for students that learn Caml as a first programming language (in French). Exercices en Caml Extended thread synchronisations Two small modules that implement extended synchronisations for O'Caml threads. Extended thread synchronisations Extlib ExtLib is a project aiming at providing a complete - yet small - standard library for the OCaml programming langage. The purpose of this library is to add new functions to OCaml Standard Library modules, to modify some functions in order to get better performances or more safety (tail-recursive) but also to provide new modules which should be useful for the average OCaml programmer. 1.5.2 Extlib Annexlib THis library contains a lot of the routines the author find needing all the time that aren't in the standard library (Especially string searching and manipulation), and some other odds and ends that are useful at times. Highlights include wildcard globbing, lots of string searching and manipulation routines, locale support, ~user-style path expansion, and more. 0.13.0 Annexlib FaCiLe A library for constraint programming on finite domains. 1.1 FaCiLe FFI A foreign function interface package for Objective CAML. It reads C header files and generates a mix of C code and ocaml external declarations. 1.2.2 FFI FFTW An interface to the FFTW library. FFTW FFTW-GEL FFTW-GEL is an architecture-specific version of FFTW. 1.2.1 FFTW-GEL findlib-browser CGI script that browses packages managed by findlib. 0.1.1 findlib-browser Flow Caml A prototype implementation of an information flow analyzer for the Caml language. 1.03 Flow Caml Forklift A program for generating language bindings based on C header files. pre-alpha Forklift FORT FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules. 0.4.1 FORT Fresh Objective Caml An extension of OCaml with facilities for correctly manipulating object-language syntax involving alpha-convertible names and binding operations. 3.06-6 Fresh Objective Caml FTPlib A C library providing communication facilities implementing the client side of FTP. It comes with Objective Caml bindings. FTPlib Galax Galax is an open-source implementation of XQuery 1.0, the W3C XML Query Language. Galax closely tracks the definition of XQuery 1.0 as specified by the W3C and also implements XPath 2.0, which is a subset of XQuery 1.0. 0.5.0 Galax GD4O An OCaml interface to the GD graphics library, which is an ANSI C library for the dynamic creation of images. GD creates PNG and JPEG images, among other formats 0.7 GD4O gdome2-xslt A C and Objective Caml library to apply XSLT stylesheets to gdome2 documents. 0.0.6 gdome2-xslt Geneweb A genealogy software with a Web interface. It can be used off-line or as a Web service. 4.09 Geneweb GeOCaml A tool allowing to handle easily euclidian geometry. 0.1 GeOCaml Getopt Parsing of command line arguments (à la GNU GetOpt) for OCaml. 2000-08-04 Getopt GlSurf A program (similar to Surf) to draw surfaces from their implicit equations. 2.0 GlSurf gmetadom A binding to gdome2, the GNU DOM Level 2 implementation. 0.2 gmetadom Gocaml A graphical frontend for GMP Go engines, written in ocaml. 1.0 Gocaml GODI GODI bundles the Ocaml compiler with a large list of add-on packages, and serves as a development platform for Ocaml applications. GODI makes it very easy to install open source libraries for all kinds of development areas on your computer. It is intended as a daily toolkit for developers who are mainly interested that the libraries can be pulled into their own projects effortlessly, and do not want to spend half of their life for figuring out how to configure and build software they haven't written themselves. 3.12.1 GODI GraphPS GraphPS is an Objective Caml module that allows generating PostScript graphic. Its interface is almost identical to that of the Graphics module of the distribution, so that it is easy to switch. 1.0 GraphPS GrabBag A collection datastructure. Unordered insertion, uniformly random removal. GrabBag GwML An experimental window-manager written in Objective Caml. Configuration is done by dynamically loading Objective Caml bytecode modules. GwML CamlBZ2 CamlBZ2 provides OCaml bindings for libbzip2, a popular compression library which typically compresses better (i.e., smaller resulting files) than gzip. Using CamlBZ2 you can read and write compressed "files", where files can be anything offering an in_channel/out_channel abstraction (files, sockets, ...). Also, with CamlBZ2 you can compress and decompress strings in memory using the bzip2 compression algorithm. 0.6.0 CamlBZ2 headache A simple and lightweight tool for managing headers in source code files. 1.03 headache heap Heaps, imperative and functional implementations. heap HereDoc Syntactic sugar for text producing applications. 2000-12-20 HereDoc Hevea A quite complete and fast LATEX to HTML translator written in Objective Caml. 1.09 Hevea Hlins Hlins is a tool to insert hypertext links into HTML documents, using a database with entries of the form "name = url". 0.39 Hlins HOL-light HOL Light is a computer program to help users prove interesting mathematical theorems completely formally in higher order logic. It sets a very exacting standard of correctness, but provides a number of automated tools and pre-proved mathematical theorems (e.g. about arithmetic, basic set theory and real analysis) to save the user work. It is also fully programmable, so users can extend it with new theorems and inference rules without compromising its soundness. 2.20 HOL-light htmlc htmlc is used to produce regular HTML pages from source files that contain text fragments that require some computation to be written. Those text fragments can be for instance the last modification date of a page, or parts of HTML pages that must be systematically included in all the pages of an entire WEB site. 2.21 htmlc Htree A generic library for browsing trees using hyperbolic geometry. 1.0 Htree IBAL A general-purpose language for probabilistic modeling, parameter estimation and decision making. IBAL IBGS A game server for board games such as chess, go, checkers, and nine nens morris. 0.2 IBGS IceDock Dockapp support ala WindowMaker/AfterStep for IceWM, TWM, MWM, Sawfish, KWin, ... 0.4 IceDock pa_macro Improvements of the pa_macro CamlP4 syntax extension pa_macro Initiation au langage OCaml Lectures notes of a course given at Ecole Polytechnique to introduce Objective Caml. Initiation au langage OCaml Introduction to Functional Programming Lecture notes Introduction to Functional Programming Introduzione alla programmazione funzionale An introduction both to basic concepts and techniques of functional programming, and to its theoretical foundation. Introduzione alla programmazione funzionale IoXML IoXML allows defining XML parsers and pretty-printers directly from data type definitions. 0.6 IoXML Jabbr An OCaml library for the XMPP (better known as Jabber) instant messaging system. Jabbr JavaCaml A port of the Objective Caml bytecode interpreter to Java. JavaCaml JoCaml JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming. 3.10.0 JoCaml Katmake Katmake is an GNU automake-like utility for the OCAML language. It is designed for generating Makefile for OCAML language. You give it a `Makefile.am' describing the project as input and it produces a Makefile. This Makefile is able to build all the project, to perform or to remove the installation, to build the distribution and to remove temporaries files. 0.7 Katmake FileUtils A collection of utils to manipulate files following some UNIX convention. 0.4.0 FileUtils LablGL An Objective Caml interface to OpenGL. 1.03 LablGL lablglut A GLUT 3.7 binding, bundled with a Tk-independent modification of LablGL. 1.3 lablglut LablGTK An Objective Caml interface to gtk, providing a strongly typed, yet very comfortable, object-oriented interface to gtk+. 1.2.7 LablGTK lablgtkmathview A lablgtk binding to GtkMathView, a Gtk widget to render MathML 2.0 documents. 0.4.1 lablgtkmathview Learning OCaml, for C, C++, Perl and Java programmers A practical, detailed tutorial for people who already know an imperative or OO-language and wish to learn OCaml. Learning OCaml, for C, C++, Perl and Java programmers LACAML This OCaml-library interfaces the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra routines), which are written in FORTRAN. 3.0.27 LACAML Liber(ator) Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently. 2.0.2 Liber(ator) Libml Machine Learning Library, a library containing structures and algorithms, simply usable from most of common languages. alpha Libml Lightweight records An extension with camlp4 that allows one to use lightweight records in OCaml. Lightweight records Link A theorem prover for Multiplicative Linear Logics based on PROOF NETS Construction. Link LocalCaml A message catalog system for localising text in OCaml programs. The approach taken is partly inspired by Perl's Locale::Maketext module. In an attempt to provide the flexibility needed to adapt sentence structure and morphology to numeric parameters in messages, the library uses a general-purpose template engine, CamlTemplate as a language for writing message templates. 0.2.0 LocalCaml Luo A system written in Caml and Maple to perform average-case complexity analysis of algorithms. 2.1 Luo mail-smtp An Objective Caml library implementing part of the SMTP protocol. 0.1.3 mail-smtp Maple-MuPad A small tool that may help to convert a Maple code to MuPad. Maple-MuPad Mathlib Mathlib is a collection of hopefully-useful functions for working with floats, Complex numbers, and random numbers. It has the basic math functions added to the C99, trigonometric functions for complex numbers, the Mersenne Twister random number generator, and modules for generating random numbers in a variety of distributions. 0.11.0 Mathlib Mathplot A GUI frontend for interactive graphing of functions. It also has a program to generate PostScript output. 0.8.4 Mathplot MetaOCaml A compiled, type-safe, multi-stage programming language. 20020614 MetaOCaml 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. MetaPRL ML-Postscript A library to produce PostScript documents. ML-Postscript MLDoc Automatic documentation extraction for Objective Caml. 1.2 MLDoc MLDonkey A linux client developed in Objective Caml for several peer-to-peer file sharing networks. 2.00 MLDonkey Mlfuse An OCaml binding for the Fuse (File System in User Space) library. Mlfuse Mana Mana is a Japanese input engine, which converts phonetic representation to proper written forms. Mana models Japanese language as a HMM (Hidden Markovian Model), and its output is quite natural even for a long sentence. In addition to Japanese, mana can be used for Chinese once we have a necessary data. 0.0.2 Mana MLGMP An extended precision computation library (integers, rationals, floats) in OCaml. 0.13 MLGMP MLGraph An Objective Caml library to produce PostScript images. MLGraph MLpcap Libpcap bindings for OCaml. 0.9 MLpcap mod_ocaml A set of OCaml bindings for the Apache API, allowing you to run CGI scripts written in OCaml directly inside the Apache webserver. 1.3.4 mod_ocaml Mojave compiler A multi-language compiler supporting safe process migration and transactions for programs written in C, Caml, Java, and Pascal. 0.5.3 Mojave compiler Mp3tag A library containing functions to read or write mp3 tags. 1.0 Mp3tag NAB (Network in A Box) NAB is a network simulator targeted at wireless ad hoc and sensor networks. 0.6 NAB (Network in A Box) Nativize Compile and run native functions from the toplevel. 0.1 Nativize netclient Experimental client for HTTP/1.1 and telnet. 0.91 netclient nML nML is a higher-order and typed programming language, and a dialect / harmony of Standard ML and Objective Caml. The nML compiler system drives the static analysis technologies to the limit, and it will embody the results of the LET project. 0.92b nML Numerix Numerix is a library implementing arbitrary long signed integers and the usual arithmetic operations between these numbers. 0.22 Numerix Bindings for ORBit2 Bindings for ORBit2, the CORBA ORB of the GNOME project. There is a IDL compiler that maps CORBA types to OCaml types, and a runtime library that does the necessary conversions. 0.1.0 Bindings for ORBit2 Oxford Oberon-2 Compiler A portable compiler that translates Oberon-2 into bytecode. 2.0p5 Oxford Oberon-2 Compiler OX OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint. 0.1 OX Overflow A module redefining common operations and raising an exception in case of overflow. Overflow OUnit Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell. 1.1.0 OUnit Otags An Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4. 3.11.1 Otags Osiris Osiris is very-easy-to-use GUI (graphical user interface) system for OCaml. It's built on top of the OCaml Win32 native API binding and enable the creation and control of most of the standard user interface components. Osiris openin A Camlp4 syntax extension to locally open a module in an expression. 2002-02-05 openin OOoWrite OOowrite lets you write OpenOffice or StarOffice .sxw files from OCaml programs. 0.2.0 OOoWrite SPPoC Symbolic Parameterized Polyhedral Calculator. 1.2.1 SPPoC Missinglib A collection of various utilities for OCaml. 0.4.1 Missinglib ledit One-line editor written in OCaml. It provides line editing for the Caml toplevels, as well as other interactive Unix commands. 2.02 ledit NML a dynamically typed functional language whose syntax conforms closely to that of OCaml. In addition, it supports overloaded, vectorized, math operations, list comprehensions, and optional and keyword arguments in uncurried argument tuples, possibly with specified default values. It can access OLE compliant, and low-level COM interfaces, supports serial I/O and socket based communication, and provides an ADO connection to external databases. An Emacs mode is supported through a hacked Tuareg interface, as well as a Tcl/Tk interactive browser and interaction window with list pane access to a user modifiable documentation database. NML passwdgen Password generator will return a password of configurable length. It can add special characters, digits, and capital letters to the password as well. The password is more human readable than a completely random secure password. The number of digits, special characters and capital letters is also configurable. 0.1 passwdgen LablGTK2 An Objective Caml interface to gtk+ 2.x. 2.14.2 LablGTK2 Mlgrace A high-level 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. 0.1.0 Mlgrace Cocanwiki A wiki in OCaml. 1.3.11 Cocanwiki Micmatch Micmatch is a syntax extension of the pattern matching constructs of OCaml for matching and extracting substrings with regular expressions. Micmatch tries to stay as close as possible to the spirit of OCaml. Named regular expressions can be defined. They use the syntax of ocamllex with some additions. This extension is for Camlp5. 1.0.0 Micmatch Calculating with Signatures An extension to the signature language of ocaml. The patch is for ocaml-3.08.0 and provides some operations on signatures. It is still at an experimental state but mostly working. Calculating with Signatures Introduction to Computational Linguistics A course on Computational Linguistics, using Caml. Introduction to Computational Linguistics mlOscar mlOscar is an OCaml library that facilitates the encoding/decoding of the AOL OSCAR protocol. Networking functionality is available to enable access to the AIM network. 0.9.0 mlOscar mltetris An implementation of Tetris using threads, Events and the Graphics module. 20040716 mltetris Logger module A logger module for Objective Caml. Logger module O'Jacare O'Jacare is a code generator to help in interoperability between Java and O'Caml through their object model. O'Jacare defines a simple IDL for Java's classes and interfaces descriptions. For communications from Java to O'Caml it owns a callback mechanism. So, you can easily override in O'Caml a method defined in Java. The implementation is based an each language low-level interfaces with C (JNI for Java and external for O'Caml) and uses an extended version of the camljava library. O'Jacare generates all needed wrapper classes and enables static typechecking in both world. O'Jacare Spaceman Spiff in Escape from Zorg It's a 3D voxel-based first-person game inspired by Loderunner, with a simple level editor. Spaceman Spiff in Escape from Zorg Env An Environment Interaction module for Objective Caml. It's useful if you need to create a local copy of the current environment for modification. 2004-09-02 Env Dllist A mutable, circular, doubly linked list library. 2004-08-27 Dllist LinkedHashtbl A wrapper for the Objective Caml Hashtbl module that uses a Linked List to preserve the order in which the hash elements are added. It's similar in purpose to the Tie::IxHash module for Perl. 2004-08-27 LinkedHashtbl Camlclipse A group of plugins to add OCaml support in the Eclipse IDE. It provides very basic support for creating OCaml projects, editing source files, building and running. 0.1 Camlclipse OMake OMake is a build system designed especially for large projects. It uses a syntax similar to make utilies you may have used, but with enhancements. 0.9.8.5 OMake JavaLib and Sawja manipulate, and generate valid .class files.Sawja is a library relying on Javalib to provide a high level representation of Java bytecode programs. Its name stands for Static Analysis Workshop for Java. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Moreover, Sawja provides some stackless intermediate representations of code. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving.An Eclipse plugin for Sawja analyses is also available: it allows developers to add an analysis in Eclipse without requiring any additional Java code generation. 2.2.1/1.3 JavaLib and Sawja 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. 0.6.0 Demexp Lua-ml A new API that uses higher-order functions and types to simplify the use of an embedded interpreter. Lua-ml LablGTK2 Tree View Tutorial A tutorial on how to use GTK+ 2.0 GtkTreeView widget in Ocaml language. LablGTK2 Tree View Tutorial LablGTK2 Tutorial LablGTK2 Tutorial SciLabl A LablGTK2 wrapper for Scintilla source code editing widget. pre-alpha SciLabl Focalize FoCaLize is an integrated development environment to write high integrity programs and systems. It provides a purely functional language to formally express specifications, describe the design and code the algorithms. Within the functional language, FoCaLize provides a logical framework to express the properties of the code. A simple declarative language provides the natural expression of proofs of those properties from within the program source code. 0.6.0 Focalize Amble A library to help writing distributed programs. The library manages all the details relevant to process launching, channel creation, and network communication so as to let the programmer stick to the core of the problem. This allows to write programs that can be distributed on several machines in a concise way, with all the parallel aspects kept implicit (no synchronisation). 0.1 Amble Oni A modular framework of Objective Caml libraries comprising general purpose utilities and functional data structures, a more flexible abstraction of the system network sockets layer than the standard library, and modules to support the development of concurrent, single-threaded network application services with a functional programming style. 1.00 Oni Gregorian Date A pure OCaml library for performing calculations based on the Gregorian calendar. 1.0.0 Gregorian Date Xara Xara allows to do boolean regexp searches on the Debian package database in a LablGTK2 GUI. 1.0 Xara Ocamlyices Yet another binding for Yices SMT 1.x. Based on CamlIDL, this library allows the access to both Yices APIs (full and light), unsatisfiable cores, bit vectors, and more experimental features (interrupting, switching between APIs). 0.4 Ocamlyices AnsiTerminal ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals. It also works on the windows shell (but this part is currently work in progress). 0.5 AnsiTerminal Sam The module Sam allows common operations on sparse associative memories according to the model introduced here: http://www.vincent-gripon.com/?p=92 Sam lpd and Socket 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. 0.8 lpd and Socket Config_file This library allows one to save configuration parameters (basic types, lists, user defined, etc.) into a file and load them. The configuration file is human readable, structured and allow (* *) comments. 1.0 Config_file GikiWiki GikiWiki is a minimalist wiki in OCaml. GikiWiki Camlusb Camlusb is an Ocaml binding to libusb. Libusb is a portable library to access USB devices in user space, available for various operating systems. 1.0b Camlusb LablScintilla Caml for Scintilla is a free source and binary package which adds syntax coloring for the Objective Caml language to the multi-platform (Win32 and GTK+) Scintilla editing component and SciTE text editor. 0.9pre1 LablScintilla O'Caml X Game library A small framebuffer graphics library for O'Caml and X. O'Caml X Game library oc-FP An OCAML implementation of John Backus' FP system. oc-FP ocalibs Ocalibs is a collection of libraries for the ocaml programming language, designed to make windows game development easier. It will support DirectX for graphics and ODE for physics. ocalibs OCam'OLE OCam'OLE is an OLE binding for OCaml. It enable you to control remote COM objects with OCaml and is provided with OLEGen, a program that generate ML/MLI static type interface from the OLE Type Libraries. 1.0 OCam'OLE OCamake An automatic compiler for the OCaml language (has special features for integration under MS Visual Studio). OCamake Ocamaweb A CWEB like literate programming tool. It is designed to target all languages and actually has a version targeting the MATLAB language. 6.01 Ocamaweb OCamIL OCamIL is an experimental OCAML compiler that targets Microsoft .NET. OCamIL OCaml book Introduction into OCaml, with exercises. OCaml book OCaml mode for NEdit Smart-indent macros and syntax hilighting for OCaml code with NEdit. OCaml mode for NEdit OCaml XML-RPC An implementation of the XML-RPC protocol. 0.2.3 OCaml XML-RPC OCaml-Benchmark A small module to benchmark running times of code. It supersedes an earlier version by Doug Bagley. 0.6 OCaml-Benchmark CamlGI CamlGI is a library to enable you to write CGI and FastCGI in OCaml. It is written 100% in OCaml so should run on many platforms. The library supports multiple simultaneous connections and request multiplexing while presenting an easy to use interface. CamlGI ocaml-classes A small library of wrappers around standard library classes, to allow a somehow object-oriented use. 3.05 ocaml-classes OCaml-event Ocaml bindings for the libevent API. The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts. 0.5.0 OCaml-event OCaml-FreeTDS OCaml-FreeTDS is a binding to the ct-lib component of the FreeTDS library, to access Sybase and Microsoft (or other TDS) database servers. 0.2 OCaml-FreeTDS ocaml-glpk Bindings to GLPK (GNU Linear Programming Kit) which is a package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. 0.1.3 ocaml-glpk OCaml-HTTP A library inspired from perl's HTTP::Daemon that permits to write simple HTTP daemons in OCaml. 0.1.4-3 OCaml-HTTP OCaml-Lirc OCaml bindings for the LIRC (Linux Infrared Remote Control) library. 0.1.0 OCaml-Lirc ocaml-mad Bindings for the mad library which provides functions for encoding wave audio files into mp3. 0.2.1 ocaml-mad Ocaml-MinGW-Maxi Ocaml-MinGW-Maxi is binary distribution for OCaml port for Windows based on the MinGW toolchain. It contains the OCaml compiler and some precompiled add-on libraries. 3.10.0 Ocaml-MinGW-Maxi OCaml-MySQL A package for Objective Caml that provides access to MySQL databases. 1.0.3 OCaml-MySQL ocaml-option A patch against OCaml 3.00. It implements a proposal for a tiny extension of the OCaml module system, allowing optional value fields in module types. This is similar to optional arguments. 2001-01-04 ocaml-option OCaml-Packrat Packrat parser generator for OCaml. 0.5.1 OCaml-Packrat ocaml-shout Bindings for the shout library which provides functions for sending mp3 / ogg data to icecast 2 servers which are used to create streamed web-radios. 0.2.2 ocaml-shout OCaml-SOAP A library which can be used to build web services using SOAP. 0.2 OCaml-SOAP Ocaml-Sqlite Bindings for accessing Sqlite databases from ocaml programs. 0.3.5 Ocaml-Sqlite OCaml-SSL OCaml bindings for libssl to secure connections by using ssl encryption in your sockets. 0.4.0 OCaml-SSL OCaml-TDL A small OCaml library providing functions to parse and print TODO lists in XML files. 0.4 OCaml-TDL ocaml-vorbis Bindings for the ogg/vorbis library which provides functions for encoding, decoding and reading tags of ogg/vorbis files. 0.5.0 ocaml-vorbis OCaml-Win32 OCaml-Win32 is a set of OCaml wrappers for the Win32 API. You can use this library to write true Win32 GUI applications in OCaml. A small sample application is provided. 1.0 OCaml-Win32 ocaml.vim OCaml syntax file for the VIM-editor. ocaml.vim OCamlAgrep Implements the Wu-Manber algorithm for string searching with errors (like in agrep). 1.0 OCamlAgrep OCamlBDB A Berkeley DB wrapper for OCaml. 0.0.1 OCamlBDB OCamlBurg Generate a dynamic-programming ocaml code from a pattern matching specification. OCamlBurg Ocamlcl OCaml with caml light syntax. 0.3 Ocamlcl OcamlConf Ocamlconf is like autoconf but much simpler, utterly ocaml-centric, and dependent on findlib. 0.8 OcamlConf ocamldap LDAP bindings for ocaml. 2.1.5 ocamldap OCamlDB This is an early release of a DBMS driver for Objective Caml. There is a generic interface that must be instantiated with a so-called low level driver. Currently, there is only a driver for the Adabas DBMS. 0.2 OCamlDB OCamlDBI A database independent layer patterned upon Perl DBI. 0.9.11 OCamlDBI ocamldefun Defunctorizer for OCaml. 1.11 ocamldefun ocamldelaunay A simple-minded, O(N^2), floating-point, 2D Delaunay triangulator without constraints. 1.1 ocamldelaunay OcamlDoom A Doom-style 3D graphics engine for action games. OcamlDoom ocamldot Generation of program dependency graphs for OCaml programs, using dot. ocamldot ocamldsort A tiny command line tool to sort .ml files according to their dependencies, in order to link the corresponding .cmo files. 0.14.3 ocamldsort OCamlearn A web site with collaborative publication of OCaml-related articles, Q&As, examples, ... OCamlearn OCamlError Annotate uncaught exception stack traces in a readable and editor-friendly way. OCamlError OCamlexc A static analyzer of spurious exceptions of OCaml programs. OCamlexc OCamlExpat An ocaml wrapper for the Expat XML parsing library. 0.9.1 OCamlExpat OCamlfuse Multithreaded binding to the fuse api. OCamlfuse OCamlGettext GNU gettext binding for OCaml. 0.0.1 OCamlGettext ocamlgraph A graph library. Provides several graph data structures and several graph algorithms. Algorithms are written independently of the graph data structure (using functors). 1.3 ocamlgraph ocamlgsl A wrapper for GSL, the GNU Scientific Library. 0.4.0 ocamlgsl OCamlJitRun A just in time translator of Ocaml bytecode into machine code (on x86, and perhaps sparcv9 & PowerPC in 32 bits mode). 1.5 OCamlJitRun OCamllex tutorial This is a tutorial on how to use ocamllex. 2004-11-10 OCamllex tutorial OCamlMakefile Automated compilation of complex OCAML-projects. 6.27.0 OCamlMakefile OCamlmex An OCaml/Matlab interface. OCamlmex OCamlMPI An interface to the MPI message-passing library. OCamlMPI OCamlnet A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions. 3.4 OCamlnet OCamlODBC Acces to databases through ODBC drivers. 2.15 OCamlODBC Ocamlplot An OCaml interface to the GNU libplot library. 0.5.6 Ocamlplot OCamlPVM An interface to the PVM message-passing library. OCamlPVM OCamlSpread A wrapper for a Spread group communication toolkit, which provides a high performance messaging service that is resilient to faults across external or internal networks. 0.0.1 OCamlSpread OCamlSDL OCaml interface to the Simple DirectMedia Layer library. SDL is used for example by 3D games under Linux. 0.7.2 OCamlSDL ocamlwc A program to count the lines of code and documentation in ocaml sources. ocamlwc Ocamlweb A literate programming tool for Objective Caml. 1.0 Ocamlweb OCamlWinPlus Extension of the OCamlwin tool to add edition facilities, and more. 1.9.2 OCamlWinPlus OCamlyacc tutorial This is a tutorial on how to use ocamlyacc. 2004-11-16 OCamlyacc tutorial Ochra Ochra is a syntax extension for OCaml, extending the language with explicit support for programming using an Object-Oriented Reference Attributed Grammar (RAG) formalism. 0.1 Ochra OCI8 bindings OCI8 bindings for OCaml. 0.0.4 OCI8 bindings oclisp A minimal lisp interpreter, for educational purposes. 0.5 oclisp Ocurl An OCaml binding for the libcurl multi-protocol file transfer library. 0.2.0 Ocurl HHMM library and designer Hhl is a library for Hidden Markov Models (HMM) and Hierarchical HMMs (HHMMs) in Ocaml. Both are probabilistic sequence models. Hhd is a designer that allows to design by hand models and save them quickly. 0.1.0 HHMM library and designer ODLL ODLL is creating a Win32 DLL from an OCaml library, and automatically generating the C stubs needed to interface the OCaml code and the C code and the .H interface. Simply run ODLL with you CMA/CMXA and one or several CMI interfaces and ODLL will do the job for you. ODLL odoc_check A generator which performs some controls on the collected information. For example: all values are commented, all types are commented, all exceptions have a version tag, ... All the possible controls are turned on/off with command line options. odoc_check odoc_fhtml Generation of html documentation with frames. odoc_fhtml odoc_tdl An OCamldoc generator which can be used to analyze OCaml files and use @todo tags to generate a TODO list. odoc_tdl OGPF OCaml Genetic Programming Framework. OGPF omlib A small library to demonstrate monadic programming in OCaml. omlib 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. 1.5.1 Orpie Interactive course on OCaml (french) This course is designed for beginners, and does not require any knowledge in programming at all. Anyone aged over 12 should be able to complete the course on his own, and thus learn the fundamentals of programming. For the time being, it is only available in french, but it will be translated into english later on. Interactive course on OCaml (french) Tywith Tywith is an OCaml camlp4 parser extension which derives functions from type definitions. It's currently capable of generating 'string_of_<type>', 'map_<type>', and 'fold_<type>' functions for alias and variant types containing tuples and other types with the appropriate functions defined. Tywith special-cases built-in types such as list, int, and string to provide or use the appropriate functions. 0.3 Tywith OMLet OMLet provides a much better indentation for Caml/OCaml files than the official one. It mostly behaves as tuareg-mode for emacs does. Omlet supports most of the language features, including objects. 0.10 OMLet CoWNFS A copy-on-write NFS daemon for use with the XenoServers project. It's a general purpose userspace NFS daemon with the ability to dynamically stack file hierarchies over each other. Different layers can be configured as writable or as read-only, and in the latter case changes are made to a writable overlay in a copy-on-write fashion. CoWNFS Min-caml A simple but efficient compiler from a tiny ML subset to the SPARC assembly language. Min-caml 2D maze generator A little OCaml program to generate random 2D mazes, render them using OpenGL and generate PostScript output. 2D maze generator Pocengine A game engine to help creating more games more easily. The engine is written mainly in Ocaml with some XML and LUA. 0.2.0 Pocengine mbox-cleaner A tool which throws away doublettes of mails (comparing body-contents). It reads from stdin and writes to stdout. 1.0.0 mbox-cleaner cfind cfind (Content FINDer) is a UNIX tool that provides functionality similar to that of Google Desktop from the command line. 0.0.0 cfind OCaml presentation slides (in french) Des transparents de présentation d'OCaml, ses points forts, ses domaines de prédilection, ... OCaml presentation slides (in french) OCaml-ast-analyze Ocaml-ast-analyze should provide an abstraction of the structure required to build pr_*.cmo module for camlp4. The idea is to provide a simple way to build Ocaml abstract syntax tree analyzer. This should be particularly useful for string extraction of Ocaml source code. 0.1.1 OCaml-ast-analyze OCaml-gettext OCaml-gettext provides enough service to build a basic internationalized program. It comes with a pure Ocaml implementation, based on Camomile, a binding to GNU gettext library, and ocaml-gettext, a tool to extract strings from Ocaml source. 0.3.3 OCaml-gettext DrGeocaml A dynamic geometry software using the Gtk toolkit. Large use of the DrawingArea widget. 2004-05-07 DrGeocaml How to customize the syntax of OCaml, using Camlp4 An individual initiative to provide additional documentation for Camlp4. How to customize the syntax of OCaml, using Camlp4 Mini ray tracer A little ray tracer in OCaml to test its viability for the shootout. Mini ray tracer pftdbns The name is a short hand for "put files to directories (sorted) by name structure". It takes filenames, maps each char of the filename into a char, representing the charclass of it (a..z and A..Z -> "l" (letter), 0...9 -> "d" (digit" and so on). This yields to an easy way of sorting files by names, based upon file-naming with certain filenaming-conventions. 0.4 pftdbns Bantam Bantam is a new lightweight file manager for POSIX systems ("Unix-like" systems, including Linux) with X11. It is not for everyone, but is intended to be highly productive for people who know their way around the file system and are comfortable with keyboard commands. 0.1 Bantam OPath OPath is a physically based renderer written in Objective-Caml, currently it implements a variety of spectral BSDFs and several rendering algorithms including distribution ray tracing, path tracing and 'Instant Global Illumination'. It can render reasonably high polygon meshes and exclusively uses area light sources (currently only spheres). 0.2 OPath Indexy A web-indexing script using FastCGI and OCaml. The script supports file icons, thumbnailing with ImageMagick, piles, multiple icon sizes, multiple sorts, and cookies for user preferences. 0.8 Indexy SimpleSOAP SimpleSOAP is an early, experimental SOAP client for Objective CAML. 0.1.1 SimpleSOAP OCaml CSV This library can read and write CSV files, including all extensions used by Excel - eg. quotes, newlines, 8 bit characters in fields, "0 etc. The library comes with a handy command line tool called csvtool for handling CSV files from shell scripts. 1.2.2 OCaml CSV OCaml Metrics OCaml Metrics is a simple OCaml code analysis tool. It can compute some metrics of functions and modules: cyclomatic complexity, the number of lines of code, Halstead complexity measures (difficulty, volume and effort) and Maintainability Index. OCaml Metrics generates reports in three formats: HTML, simple XML or plain text. This allows developers to find parts of their projects which need refactoring in order to keep the projects easily maintainable. 0.51 OCaml Metrics Saffire Saffire is a static analysis program that detects bugs in programs that use the OCaml/C foreign function interface. Saffire works by performing type inference across both OCaml and C to make sure that values are used consistently across the language boundary. For instance, if a OCaml passes a record to a C function, that C function should not treat the data as an integer. Saffire also tracks what C variables point into the OCaml heap and ensure they are always registered with CAMLparam/local before any allocation functions are called. Saffire Caml2tex An application that produces LaTeX2e code from caml (OCaml, Caml light) source files. Caml2tex AlphaCaml AlphaCaml is a tool that turns a so-called ``binding specification'' into an Objective Caml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha-conversion in a safe and concise style. AlphaCaml OC-Soap This is a proper version of a SOAP client for OCaml, which uses CDuce (http://www.cduce.org/) to parse WSDL + XML Schema interface descriptions, turning them into SOAP client stubs. 0.3.2 OC-Soap pa_arg CAMLP4 syntax extension offering a special syntax for parsing command-line arguments. 0.2.1 pa_arg mlrogue mlrogue is a clone of linuxrogue rewritten in ocaml. This is a game of the 80ies running in a terminal 24 lines x 80 columns. Can be played in a xterm or other window terminal. 1.00 mlrogue mldiff mldiff is a program implementing the algorithm of "diff" (print differences between files) rewritten in ocaml. It contains also a module to compute differences between anything (not only strings). 1.01 mldiff OCamlODE OCamlODE is a set of Objective CAML bindings to the Open Dynamics Engine (ODE). It comes with a very simple demonstration game. 0.6 OCamlODE Wyrd Wyrd is a curses front-end for Remind, a powerful calendar and alarm application. The display features a scrollable day calendar suitable for visualizing your schedule at a glance. Wyrd integrates with an external editor of your choice to make manual editing of reminder files more efficient. Other features include significant configurability and Mutt-like interface design. 1.4.4 Wyrd LablGtkSourceView LablGtkSourceView are the OCaml bindings for GtkSourceView, a GTK widget which extends the standrd GTK text widgets implementing syntax highlighting, automatic indentation, and other typical features of source editors. Using LablGtkSourceView you can instantiate and use GtkSourceView widgets in OCaml programs which use GTK through the LablGtk interface. 0.2.0 LablGtkSourceView LablPCRE A binding for PCRE, providing access to the POSIX regular expression pattern matching API of PCRE, fully supporting Linux and Windows builds of PCRE versions 6.1 - 7.0. With an emphasis on simplicity and ease of use, LablPCRE offers a small-footprint interface: four functions and a handful of public methods in a returned "regresult" object. 1.0 LablPCRE OCamlDuce OCamlDuce is a merger between OCaml and CDuce. It comes as a modified version of OCaml which integrates CDuce features: expressions, types, patterns. 3.12.1.0 OCamlDuce Peeroml The Peeroml package allows one to construct lego parts inventories or deconstruct them from a lego set catalog. Peeroml Metaphone Metaphone is an implementation of Lawrence Philips' Double Metaphone phonetic algorithm in OCaml. In fact it's just a very thin set of bindings around the original C++ implementation (with some bug fixes). 1.0 Metaphone adwords API Interface to Google Adwords API. This API offers rapid, type-safe development, command line tools for doing common Adwords operations, interactive access to the API. 1.0.0 adwords API Neko Neko is an intermediate programming language with its virtual machine. The compiler is written in OCaml and the VM in C. It might be interesting for people involved in language design, since Neko is providing a common reusable runtime for language designers. 1.0 Neko ocamlscript Ocamlscript is a tool which allows to use OCaml as a fast scripting language. The compilation process is performed as needed, and all the program and the compilation options are contained in one file. 2.0.2 ocamlscript Ocsigen Ocsigen is a Web server, with a programming framework providing a new way to create dynamic Web sites using Objective Caml. Its goal is to offer an alternative to Apache/PHP, based on cutting-edge technologies coming from research in programming languages. 2.0 Ocsigen Dynaml Dynaml provides rudimentary support for dynamic types in Objective Caml (O'Caml). Dynamic values provided by dynaml are not type checked by ocaml at compile-time in the same way static values are. Type checking is instead performed at runtime. 0.6 Dynaml HDCaml HDCaml provides a framework for describing hardware structures in OCaml. Given a functional hardware description, HDCaml will produce a Verilog netlist for verification and implementation. HDCaml also has decent PSL support for assertion based verification. 0.2.9 HDCaml Cameleon Development environment for Objective Caml programmers, written in GTK2. It includes an OCaml-scriptable text-editor, a graphical toplevel, a documentation browser, and other useful tools and libs. 1.9.21 Cameleon Xcode plug-in for OCaml A plugin for integrating OCaml in Xcode. At this time, it's still a beta version but it now works on simple tasks like syntax coloration, creation of a native ocaml target, and adding .m files or .cma static libraries to the target, integration of ocamllex and ocamlyacc, integration into the Xcode build system, error window. Xcode plug-in for OCaml Fjavac Fjavac is a Java 5 compiler front-end implemented in the functional language OCaml. Currently the compiler can parse and pretty-print almost all of JDK 1.4.2 and JDK 1.5.0 files (including generics, wildcards, annotations, enumerations, static imports, for-each loops and variable arity arguments). A full compiler (with type inference, capture conversion and type checking) is underway. 0.3.0 Fjavac UMLMON Gerd Stolpmann offers UMLMON, which is an add-on product to User Mode Linux (UML) that strongly simplifies its administration. Up to now a system operator needed several weeks to develop scripts in order to deploy User Mode Linux. UMLMON is a ready-to-use solution setting standards for UML operating, especially concerning the number of features and the operational safety. 1.0.1 UMLMON OCaml-SQLite3 OCaml bindings to the SQLite 3 database access library. 0.12 OCaml-SQLite3 Nnjoy NJoy is a variant of the concatenative programming language Joy The main difference is that it is enriched with an easy to module system with optionally private declarations. Only a part of the standard library of Joy is implemented. The interpreter is easy to use, but the builtin functions are poorly documented. The performance of the interpreter (natively compiled and stack traceback switched off) is on par with optimized C implementation of Joy. 0.2 Nnjoy OCaml-Sem Sem is an OCaml module implementing support of POSIX semaphores. The package contains code in C and OCaml programming languages. Once compiled it makes a usual OCaml library usable in both byte-code and native code development. 0.0.2 OCaml-Sem pa_log A small camlp4 extension that allows conditional logging commands with a simple syntax. pa_log Sexplib Library for automated conversion of OCaml-values to and from S-expressions. 3.0.1 Sexplib Freetennis A free tennis game written entirely in ocamlsdl and lablgl. Freetennis Yacclib Yacclib is a small OCaml library to parse and print OCamlyacc .mly files. It can also print dot graphs from these files. It comes with a graphical editor for .mly files. 0.4 Yacclib Frisch's Sudoku Solver A solver for the Sudoku game. 20051117. Frisch's Sudoku Solver RegStab RegSTAB is a SAT-solver able to deal with formula schemas: you can give it a scheme of formulas such as "/\i=1..n P_i -> P_i+1" (where n is a variable) and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*, i.e. it can treat at once an infinite set of propositional formulas. 1.4.4 RegStab Objective CAML for Scientists This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules. Objective CAML for Scientists The Whitespace Thing "The Whitespace Thing" for OCaml is an alternative syntax that uses indentation rather than parenthesization to group expressions, like in Python and Haskell. This is a controversial feature that some people will always love and some people will always hate. Now, OCaml lets you have it both ways. 0.90 The Whitespace Thing Mandelbrot renderer A very serious Mandelbrot renderer. The program is 35 lines of OCaml and renders using OpenGL. Mandelbrot renderer BoomSMS A simple interface to the commercial Boom SMS (text message sending) service. 1.0.2 BoomSMS Programmation fonctionnelle, générique et objet Une introduction avec le langage OCaml. Les programmes d'exemple sont à l'adresse suivante: http://dept-info.labri.u-bordeaux.fr/~narbel/PFGO/index_sources.html Programmation fonctionnelle, générique et objet O'Chess O'Chess is a simple chess engine written in O'Caml. 0.2 O'Chess IMT A little helper tool to simplify using Microsoft command line build utilities in a unix-like way. 1.00 IMT P4ck P4ck (read "4-pack") is a utility which downloads, compiles and installs Camlp4 syntax extensions. The motivation for this tool comes from the fact that many people wrote interesting syntax extensions for OCaml, which are in fact quite short and fit in one single file. 0.501 P4ck ImageMagick Binding for OCaml An interface to the library of ImageMagick. 0.15 ImageMagick Binding for OCaml Menhir Menhir is an LR(1) parser generator for the Objective Caml programming language. 20080908 Menhir Weblogs Weblogs is an OCaml module for importing weblogs from Apache or IIS web servers. 2.1 Weblogs HostIP HostIP is an OCaml module for looking up geolocation data from IP addresses. It uses the community HostIP project. 0.2 HostIP Odot Odot is a small OCaml library to parse and print Graphviz dot files. It comes with an additional module defining a Lablgtk2 box to display such graphs, and handle mouse clicks on nodes. 0.5 Odot ocfgc A parser generator for ordered context free grammars (OCFG) based on GLR (Generalized LR) parsing, also known as Tomita's parsing. 0.4.1 ocfgc Fjavac A functional Java 5 compiler. 0.4.1 Fjavac OCaml for AIX This is a OCaml 3.09.3 port to AIX (PPC). 3.10.0 OCaml for AIX Camlmix Camlmix is a generic preprocessor which converts text with embedded OCaml into an OCaml program with embedded text. It produces text documents from one or several templates. 1.3 Camlmix BG1Tutu BG1Tutu is a project which automatically converts the resources in a Baldur's Gate, or Baldur's Gate + TotSC install to the BGII engine. BG1Tutu Weidu WeiDU is a dialogue compiler, string patcher, script and text file extender for Infinity Engine games. 188 Weidu McCarthy McCarthy is a simple, first-order functional programming language. The interpreter of this language is also called McCarthy. McCarthy is Turing-complete i.e. it can compute all Turing-computable functions on the integers. It is not suitable for general purpose programming as it offers only an elementary subset of the features found in general purpose programming languages, but it can serve as a model of computation. McCarthy Kdialog2OCaml To use Kdialog from OCaml. Kdialog2OCaml Xdialog2Ocaml To use Xdialog from OCaml. Xdialog2Ocaml PGOCaml PG'OCaml is a type-safe, simple interface to PostgreSQL from OCaml. It lets you embed SQL statements directly into OCaml code. 1.4 PGOCaml Octal This is a toy implementation of Zope's TAL (Template Attribute Language) for OCaml, conveniently named 'Octal'. It is built on top of Camlp4 and Xml-Light. The purpose of TAL is to have a template that is a valid XML or HTML document that already renders like the resulting document. Octal Zenon Zenon is an automatic theorem prover written in OCaml. Zenon handles first-order logic with equality. Its most important feature is that it outputs the proofs of the theorems, in Coq-checkable form. 0.4.1 Zenon HashSet HashSet is a hashed set library for Objective Caml. Buckets are ordered and the first element of a bucket is kept in a separate array, with occupation controlled by a bitvector. HashSet pa_bounds A syntax extension which allows out-of-bounds accesses of arrays and alike to be reported with the exact location in the source code. pa_bounds Phpsa PHP string analyzer is a static program analyzer that approximates the string output of a PHP program with a context-free grammar. The analyzer can be used to check properties of a PHP program. For example, it can be used to validate dynamically generated Web pages by a PHP program. 0.1.1 Phpsa xml2cd xml2cd is a cduce preprocessor that lets you embed cduce expressions in an xml files (and vice-versa) à la php (but with the nice cduce type checking). It supports namespaces, automatic dtd downloading etc... alpha1 xml2cd Caml-shift two OCaml implementations of Dybvig, Sabry, Peyton-Jones' delimited continuation framework. The framework supports `static' ( shift/ reset) and `dynamic' ( prompt/ control, shift0, control0) delimited continuation operators with multiple, arbitrarily typed prompts. 2010-08-11 Caml-shift OCaml WordNet This package contains the OCaml Interface to WordNet 2.1. It enables Ocaml programs to use the Wordnet dictionary for (english) word forms and meanings. This library directly parses the WordNet dictionary files, and does not depend on any other libraries. This library requires WordNet 2.1 to be installed (WordNet is available as a free download). 0.1 OCaml WordNet gprint The facility that prints results and types of expressions evaluated at the top-level is now available anywhere in the program -- in bytecode- or natively compiled programs. Generic printing is a (perhaps unintentional) `side-effect' of MetaOCaml -- of the fact that a code value is not merely AST; the code value also captures the type and the type environment of variables and other values. Generic printing is a library that works with the unmodified MetaOCaml (which is _fully_ compatible with the regular OCaml). gprint Col This package provides a syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV files for your favorite spreadsheet or plotting program. Col HashCaml an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. HashCaml builds on earlier work on Acute but is a distinct language design and implementation. HashCaml Ostap Ostap is an OCaml module to provide a set of parser combinators. The name of this library originates from Ostap Bender --- the central character of Ilya Ilf and Eugene Petrov's comedy "The Twelve Chairs". Bender is generally referred to as "The Great Combinator" since the word "combinator" in Russian also means "a swindler", "a sly man" etc. Additionally to the common set of parser combinators Ostap provides a camlp4 syntax extension pa_ostap.cmo to embed grammar expressions written in BNF-like style into OCaml code. Another feature of pa_ostap is that it allows to consider streams as objects and so makes integration of lexers and parsers simpler. Please have a look at the documentation for details. 0.1 Ostap OCamlTex OCamlTeX is a combination of an OCaml script and LaTeX style file that, together, give the user the ability to define LaTeX macros in terms of OCaml code. Once defined, a OCaml macro becomes indistinguishable from any other LaTeX macro. OCamlTeX thereby combines LaTeX's typesetting power with OCaml's programmability. 0.6 OCamlTex annot Given a cursor position (line 30, column 20) "annot -type 30 20 main.annot" looks up the type annotation for that position in main.annot. It is trivial to hook this to a key in Vim, and probably most other editors. annot Monitor This tool allows you to monitor one or more web sites (or other resources) by regularly doing tests on them. A test consists of grepping a resource (an HTML page fetched by URL, or the output of an arbitrary command) using a boolean combination of Perl-compatible regular expressions. On failure, a mail is sent to a list of admins. Includes a Debian package and a flexible configuration file syntax. 0.3 Monitor Ocaml Link Grammar OCaml interface to Link Grammar. This package contains the OCaml interface to Link Grammar. It enables Ocaml applications to use Link Grammar to parse English sentences. 0.1 Ocaml Link Grammar Cairo-OCaml Objective-Caml bindings for the Cairo library. 1.0.0 Cairo-OCaml Cis This module implements compact integer sets, represented as a (custom) list of integer intervals. Usual set operations are provided. The advantage compared to ordered lists is that the actual size may be smaller than the cardinal of a set when many elements are contiguous. Most set operations are linear w.r.t. the size of the structure, not the cardinal of the set. Cis svgconv Svgconv is a tool to convert SVG paths into a C format that can be easily used with OpenVG. The tool converts SVG graphics into C source code that can be #included into your C program that wishes to use the path data. 1.0.5 svgconv pa_monad Camlp4 extension for monadic expressions in OCaml. 6.0 pa_monad HSeq A simple tactical theorem prover for higher-order logic. HSeq Resumable exceptions in plain OCaml Resumable exceptions are the strict generalization of regular exceptions, which lets the exception raising form return a value and so the computation may continue. It's the exception handler that decides either to abort the exceptional computation or to resume it with a particular value. We show a conservative and elementary implementation of resumable exceptions in OCaml: the implementation is a self-contained 100% pure OCaml library. Resumable exceptions in plain OCaml Type safe unmarshalling functions A patch for Objective Caml that provides type safe unmarshalling functions. Type safe unmarshalling functions XStream XStream is a simple functional transformation language for XML documents. XML transformations written in XStream are evaluated in streaming: when possible, parts of the output are computed and produced while the input document is still being parsed. Some transformations can thus be applied to huge XML documents which would not even fit in memory. 0.1 XStream Sentence Segmenter This library can be used to segment Newspaper style (english) text articles into sentences. It uses the Ocaml lexer with a simple set of lexical rules to classify those periods ('.') in the text that end sentences. Sentence Segmenter MyCGR This software implements the researches of the thesis of Peggy Cénac. Use the CGR to build a new family of tests of structure of sequences (i.i.d., markovian), empirically check the level and power of the tests and apply them on DNA sequences. Generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees. Define CGR-trees, which are Digital Search Trees built from sequences, and check that the empirical longest branches, shortest branches and insertion level match the theorical results of the thesis. 0.98 MyCGR GLCaml GLCaml (http://glcaml.sourceforge.net) is a compact set of Ocaml bindings to OpenGL versions 1.0 through 2.1, for Windows, Linux and OS-X. It also contains optional compact bindings for SDL (http://www.libsdl.org). 20080215 GLCaml cmigrep A small utility to mine cmi files for interesting bits of data. 1.0 cmigrep TestSimple A unit testing framework for OCaml. It is based heavily on the Perl unit testing framework of the same name, and produces TAP output (http://en.wikipedia.org/wiki/Test_Anything_Protocol) which can be read and analyzed by a wide range of existing Perl tools. The goal of this framework is to make writing unit tests as simple and as easy as possible (hence the name). 0.01 TestSimple kom Kom stands for "Keep old mails". It imports emails in a MySQL database and provides a frontend in gtk2 to search and browse the archived emails. Some options can be used to incrementally import mails (do to it each month for example). It can also export mails stored in the database, in mbox format or one-message-per-file format, and generate some statistics. 1.0 kom SRESI SRESI is a smart bookmarks manager: from a list of tagged bookmarks, it can generate an exhaustive tree or a portal, where each bookmark is at every place in the hierarchy you can expect to find it, and with stupid branches absorbed back in their saner versions. An import function is provided. 0.12.0 SRESI Another OCaml-sqlite3 OCaml wrapper for the Sqlite3 database library. 0.1.7 Another OCaml-sqlite3 Olmar Olmar connects Elsa, the Elkhound based C/C++ parser and typechecker, with Ocaml. More precisely, the Olmar extension can translate Elsa's internal abstract syntax tree into a value of an Ocaml variant type. This value can then be further processed with a pure Ocaml program. I prefer to have standalone Ocaml programs. Therefore I let Elsa marshal the abstract syntax tree as an Ocaml value to disk. However, it is also possible to link the Ocaml code into the Elsa executable. 0.2 Olmar APC A small and not entirely usual CPU load monitor written in OCaml. 1.02 APC io "io" is an IO combinator library for safe I/O over strings and channels, in the style of "picklers" which can then be used with various backends to safely load and save data. Currently available backends include : human readable ASCII, binary and compressed binary. A type-independent command can convert between different representations. The representation for records and sum types is upwards compatible. Note that sharing and circular structures are not supported. 0.3 io Dypgen Dypgen is a GLR parser generator for Objective Caml, it is able to generate dynamically extensible parsers. 20061020 Dypgen OCamlP3L OCamlP3l is a compiler for Caml parallel programs. The OCamlP3l programming paradigm is skeleton programming. The skeletons encapsulate basic parallel programming patterns in a well understood and structured approach. Based on P3L, the Pisa Parallel Programming Language, OCamlP3l skeleton algebra is embedded in a full-fledged functional programming language, namely Objective Caml. 2.03 OCamlP3L Bedwyr Bedwyr is an extended logic programming language that allows model-checking directly on syntactic expressions possibly containing bindings. We believe that it's an interesting tool for computer scientists, as it allows simple reasoning on declarative specifications, with several good examples, notably bisimulation checking for the pi-calculus. Other examples include type systems, games, logics, etc. 1.0 Bedwyr OraCaml This library implements an OCaml client interface for an Oracle database. The library is built on top of the OCCI C++ interface available in Oracle 10g. It is efficient and suitable for processing large volumes of data. 0.1 OraCaml SOSS SOSS is an implementation of a SOAP server for OCaml. It is designed to allow a service, developed in OCaml, to be made available as a SOAP service with minimal effort. 0.1.03 SOSS Inotify bindings A small bindings for inotify, aka linux file system notification new subsystem. 0.2 Inotify bindings OCaml-alsa Bindings to the alsa library. 0.1.3 OCaml-alsa OCaml-dtools An OCaml small library for daemons (init, logging, configuration). 0.1.2 OCaml-dtools OCaml-fetch A high level module to access files through various protocols (local files, ftp, samba, etc). It provides high-level functions for that. 0.1.0 OCaml-fetch OCaml-ftp OCaml module to access files via ftp. It provides high-level functions for that. 0.1.0 OCaml-ftp OCaml-lame Bindings to the lame library. 0.1.1 OCaml-lame OCaml-mp3id3 OCaml functions for manipulating mp3 id3 tags. 0.2.1 OCaml-mp3id3 OCaml-smbclient OCaml bindings for the libsmbclient library to access files through the samba protocol. It provides high-level functions for that. 0.1.0 OCaml-smbclient json-wheel json-wheel is an OCaml implementation of the JSON data interchange format, which can be considered as a lightweight alternative to XML. 1.0.0 json-wheel OCaml-dbus Bindings to dbus. This is an alpha release (few memory leaks, missing some proper finalize function, and maybe segfault lurking), and the library is quite big so not everything is wrapped. However it should works for basic use, and the test program should be enough to get to know how to use it. 0.01 OCaml-dbus Memcheck A module for runtime type checking in Ocaml. Memcheck is very similar to SafeUnmarshal but without a few of SafeUnmarshal's limitations. In particular, with Memcheck it only takes seconds to check a few megabytes instead of hours as with SafeUnmarshal. Memcheck libsndfile-ocaml Bindings to the libsndfile C library. libsndfile-ocaml Ott tool for semantic definitions of programming languages and calculi. The tool takes as input a definition of a language syntax and semantic relations, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It builds parsers for symbolic and concrete terms of the language, generates LaTeX to build a typeset version of the definition, and generates Coq, HOL, and Isabelle versions of the definition. 0.10.2 Ott Glome An experimental ray tracer using LablGL. 0.2 Glome json-static Json-static is a companion for the json-wheel library. By reading a type definition, the preprocessor inserts code that converts between OCaml types (lists, arrays, tuples, objects, polymorphic variants, ...) and untyped JSON data. Those type definitions are written in a syntax which is very close to regular OCaml type definitions. 0.9.6 json-static LSD mount utilities The LSD mount utilities allow to automate mounting of encrypted filesystems in linux with cryptsetup and loopback devices and enable users (not only root) to mount encrypted filesystems when appropriate entries to /etc/fstab have been added by root. 1.3 LSD mount utilities xmlm Xmlm is an OCaml module providing streaming XML input/output. It aims at making XML processing robust and painless. The streaming interface can process documents without building an in-memory representation. It lets the programmer translate its data structures to XML documents and vice-versa. Functions are provided to easily transform arborescent data structures to/from XML documents. 1.0.2 xmlm Lego Mindstorm Library LEGO Mindstorm® is a versatile robotic construction kit. The central component is the programmable NXT brick to which one can connect up to three motors and various sensors. The brick can run programs directly uploaded to it or can be controlled via bluethooth or USB. This library allows you to communicate with — and drive — your NXT brick from OCaml programs through a bluetooth connection. The full LEGO® communication protocol (including all "direct commands") is supported. This library has been tested on Linux, Windows (without the fantom drivers installed) and Mac OSX. 0.5.2 Lego Mindstorm Library Inifiles An ini file parser, in case you ever need to parse one of those little buggers. 1.2 Inifiles STMlib This is a user-space implementation of STM (Software Transactional Memory) library for OCaml. It's mainly inspired by the STM library of Haskell, with some exceptions due to the different nature of languages and different strategies of implementation. 0.0.1 STMlib Enhtop This is an experimental patch (we also provide pre-built testing executable and Debian package) for an enhanced OCaml toplevel with additional features. For any kind of bindings (i.e. value, type, module, class etc.): Identifiers been rebound are shown differently by default, to distinguish with currently effective ones; a new directive to query (by kinds or names or their composition) and show both current and history bindings; a new directive to show the current binding of any identifier without evaluating or rebinding it; a type-check-only testing mode to experiment your definitions without polluting the world, and the directive to enter/leave it. 3.11.0 Enhtop namealign The program namealign renames files in a way that they are equally formatted. It follows the same idea of character-classification as the tool pftdbns, but does not sort files into directories. Instead it renames files of the same filename-macrostructure to be equally formatted (e.g. inserting a leading 0 in a numbered part of the name). 0.6 namealign Highlight Highlight converts source code to formatted text with syntax highlighting. Features include coloured output in HTML, XHTML, RTF, TeX, LaTeX and XML format; Support for 120+ programming languages; include 40 colour themes; platform independent; customizable and easy to use. OCaml is also supported. 2.4.8 Highlight pa_macro_arg This is an add-on to the standard Pa_macro syntax extension which allows for command-line arguments of the form -DEFuid=expr where uid is an upper-case identifier (a macro name) and expr is an arbitrary OCaml expression. pa_macro_arg CamlPDF CamlPDF is a library for reading, writing and manipulating PDF files and data. 0.5 CamlPDF Moca Mocac is a generator of construction functions for Caml concrete data types with algebraic invariants and maximal sharing facilities. Algebraic invariants are specified by using keywords denoting equational theories like commutativity and associativity. The construction functions generated by Mocac allow each equivalence class to be represented by a unique value. 0.3.0 Moca Pml PML will be a proof assistant based on a variant of the ML programming language which should also allow to write mathematics. Pml ODT The OCaml Development Tools (ODT) project aims to be like the JDT (Java Development Tools) Eclipse plugins. It provides IDE features for OCaml application developments, such as automatic compilation, custom editors... 2.0 ODT EasyLanguage to C# translator An EasyLanguage (http://lambda-the-ultimate.org/node/2201) to C# translator. EasyLanguage to C# translator Lemac A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.The idea is to create a GUI with a very small footprint, that is easy to handle for final users, and productive for developers. Lemac Deriving A system for constructing functions automatically from type definitions. 0.1.2 Deriving Newfaction The program newfileaction (newfaction) invokes a program for each file that newly is created in a directory you want to visit. It's similar like the "watch" program. When the watch-program is invoked, it starts a command on the shell every n seconds and shows you the results on the screen. This is good for watching the result of commands every n seconds. newfaction is slightly different: it invokes the command for each new file in a directory. So for example, if you get all the time new files into your directory (e.g. by copying them from a remote-host to your locval host via ftp or scp) then you can invoke a program for each of these files. For example you could start your vi-editor for each new file, if you know there are coming text-files, or you could invoke xv for each file, if you know there are coming pictures into the incoming-directory. 1.0 Newfaction graph A utility to print a pretty graph of a time series in an ansi terminal. 1.0 graph patterns A framework for writing extensions to pattern matching using Camlp4. 0.4 patterns Chess III Arena Chess III Arena is a simple chess game that utilizes the Quake III Arena characters. 0.8 Chess III Arena XmlRpc-Light XmlRpc-Light is an XmlRpc client written in OCaml. It requires Xml-Light and Ocamlnet. 0.6.1 XmlRpc-Light OcaIDE OcaIDE is an O'Caml plug-in for Eclipse 1.0.1 OcaIDE Vec An Ocaml implementation of extensible arrays. The implementation is functional, based on balanced trees (and on the code for Set and Map). 2.02 Vec Fiblib An efficient, imperative Fibonacci heap library, based on the pseudocode of Cormen, Leiserson, Rivest, and Stein. Aims to be practical and elegant. 0.1 Fiblib OCamlPCSC An OCaml binding that allows the manipulation of Smartcards in OCaml, both in Linux, through the C library PCSC-Lite provided by M.U.S.C.L.E. and in Windows through Winscard.dll. 0.6 OCamlPCSC Custom Tree Models for LablGTK Some code to make it relatively easy to develop custom tree models using LablGTK (GTK+ 2.0 in OCaml). This means that you can have a tree structure coded naturally in OCaml and treat it more or less directly as a tree model, instead of having to shove values into a GTree.tree_store. There are some caveats as described in the README file. 1.0 Custom Tree Models for LablGTK apalogretrieve Apalogretrieve is a stand-alone program that provides a SQL-like interface for Apache-Logfile-Queries. 0.9.6 apalogretrieve OCamlFd OcamlFd is an extension library for the OCaml language, providing miscellaneous utility functions involving UNIX file descriptors. 1.1.0 OCamlFd Vprint A runtime value printer for OCaml, extremely experimental at the moment, use at your own risk. 0.01 Vprint A Brief Introduction to PG'OCaml PG'OCaml is rather lacking on the documentation front. This document aims to fill that gap, by providing an overview of the capabilities of the library, usage examples, and solutions to potential pitfalls. Moreover, it also addresses the installation of PG'OCaml, how to compile programmes that make use of the library, and the correspondence between PostgreSQL data types and their OCaml counterparts. 0.92 A Brief Introduction to PG'OCaml Camlp5 Camlp5 is a preprocessor-pretty-printer of ocaml. It is the continuation of the classical Camlp4 with new features. It is compatible with OCaml versions from 3.08.1 to 3.11 included. 6.00 Camlp5 Barista Library for Java .class file manipulation. Also a command-line [dis]assembler for Java. 2.0-alpha Barista Cadmium Java port of ocamlrun, runtime support for Cafesterol. 1.0-alpha Cadmium Cafesterol Extension of the Objective Caml compiler suite producing Java binaries (.class/.jar files). 1.0-alpha Cafesterol Nickel Bridge/Bindings generator for Java/Objective Caml integration. 1.0-alpha Nickel coThreads coThreads is a concurrent programming library for OCaml. It enhances the Threads library of the standard OCaml distribution in two dimensions: coThreads implements the same API of the standard Threads library on different execution engines (process, netwoker(todo)), so that a single copy of source code can be compiled and deployed to different environments without modification; coThreads is also a super set of the standard Threads library, with extra components (STM etc.), functions (spawn etc.) and features (object-level compatibility etc.). 0.10 coThreads Camlanot.vim A vim plugin to handle annot files. 0.9 Camlanot.vim OCaml Reins OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure. 0.1 OCaml Reins Weaktbl A weak hash table library for OCaml, with an interface compatible with the standard Hashtbl library. 0.02 Weaktbl OCamlScripting OCamlScripting is an implementation of the Java JSR223 Scripting API (this API is defined by the javax.script package) for the Objective Caml language. It thus provides a script engine that allows execution of Objective Caml code snippets in a Java application. 1.0 OCamlScripting SDFlow A high-level combinatorial dataflow programming library based upon destructive lazy streams. 0.01 SDFlow pa_oo Some camlp4 syntax extensions to write more compact code using objects. pa_oo pa_polymap This is a tiny module combined with a camlp4 extension, which allows you to define polymorphic mappings, where the type of the data depends on the key. pa_polymap Z3 Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is still under development, but it has already been integrated with Spec#/Boogie, and HAVOC. We are currently integrating Z3 with Pex, SAGE, Yogi, Vigilante, and SLAM. It can read problems in SMT-LIB and Simplify formats. 1.1 Z3 Marionnet Marionnet is a virtual network laboratory: it allows users to define, configure and run complex computer networks without any need for physical setup. Only a single, possibly even non-networked GNU/Linux host machine is required to simulate a whole Ethernet network complete with computers, routers, hubs, switchs, cables, and more. Support is also provided for integrating the virtual network with the physical host network. As Marionnet is meant to be used also by inexperienced people, it features a very intuitive graphical user interface. 0.90.6 Marionnet OCaml light OCaml light is a formal semantics for a substantial subset of the Objective Caml language. It is written in Ott, and it comprises a small-step operational semantics and a syntactic, non-algorithmic type system. A type soundness theorem has been proved and mechanized using the HOL-4 proof assistant, thereby ensuring that the proof is free from errors. To ensure that the operational semantics accurately models Objective Caml, an executable version of the semantics has been created (and proved equivalent in HOL to the original, relational version) and tested on a number of small test cases. OCaml light nmag nmag is a micromagnetic simulation package based on the general purpose multi-physics library nsim. It is developed using Python and OCaml and interfaces both. 0.1beta nmag Aurochs Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml and Java. Aurochs can also directly produce C or Ocaml code for parsing. It is in use at Exalead where we use it daily to parse real-world Javascript. v60 Aurochs PLPlot Ocaml language bindings for plplot plotting library. 5.8.0 PLPlot Nurpawiki Nurpawiki is a personal information manager (PIM) application that combines a wiki, a to-do list and a simple scheduler to help you get organized. It aims to ease note taking and action planning. Actions (to-dos) are always associated with notes or plans (wiki pages). Nurpawiki A mini-tutorial on labltk A mini-tutorial on labltk Jsure Jsure is a "lint" for Javascript, which is also known as Ecmascript. It checks syntax and a little bit of semantics. 1.0.1 Jsure OCamlviz The key idea of Ocamlviz is the ability to instrument an existing code, in real time, with lightweight monitoring annotations. Ocamlviz can also be used as a debugging tool. OCamlviz OCaml-Ming OCaml bindings for the Ming library, a library to create Flash animations. 0.01a OCaml-Ming glMLite This package provides OpenGL bindings for OCaml. There is a module for GL, Glu and Glut, and also a small jpeg loader module. The names of the functions are the same than in the C API. Some test files are provided, and also some of the demonstration code samples from the red-book converted in OCaml. 0.03.17 glMLite OCaml-Allegro This is an OCaml binding for Allegro. Allegro is a cross-platform library intended for use in computer games and other types of multimedia programming. 20071223 OCaml-Allegro Objective C - Objective Caml bridge for Mac OS X The goal of this project is to provide access to Mac OS X's APIs from OCaml. The project focuses on the set of APIs referred to as "Cocoa", that is APIs based on Objective C artefacts (classes, objects, protocols, methods). With such access to Cocoa's APIs, it is expected that OCaml programmers would be able to design, develop and build native MacOSX applications with ease. Some features are explicitly out of scope: - general support of C-type apis (structs) - general support for Objective C (this project is targetted at Mac OS X) - platforms different from MacOSX The targetted user is an intermediate level developer, at ease with all of OCaml constructs (including modules, classes, labels) and with Cocoa programming. Objective C - Objective Caml bridge for Mac OS X sk sk' is intended to allow experimentation with combinatory logic. sk OCaml Dump Another print anything module. 0.2 beta OCaml Dump Melt Melt is a set of libraries and tools which allows you to program LaTeX documents using OCaml. This combines the typesetting power of LaTeX with the programming power of OCaml. It can be combined with Mlpost to include figures. 1.1.0 Melt /UbiEst/ /UbiEst/ is intended to be a indexer, allowing *structural* and *compound* searches into a "bunch" of documents (files). What is an indexer ? An indexer is a program recording the occurrences of words among documents and enable to point on them (quickly if possible). A detailled explanation is available in the distribution, but in two or three words... By *structural* indexing, we mean that /UbiEst/ not only maps words onto their locations, but also structures of the indexed documents. By *compound* indexing, we mean that /UbiEst/ does not allow to request to find occurrences of simple words among the indexed document. requests can be combined by the mean of operators. By combining requests, you not only get simple occurrences of words, but rather /extends/ (i.e. piece of text) containing information fitting you global request. /UbiEst/ is developped in Objective Caml and a graphical user interface based on Gtk (Lablgtk) is available. 1.5 /UbiEst/ CamlX CamlX is a Wrapper for the OCaml (or Caml Ligth) toplevel environment. CamlX can be used without a previously installed Caml distribution, indeed it include a Caml Light version. But it is possible to use your own version of Caml (you must specify the path in the preferences menu). 1.2 CamlX ocaml-orm-sqlite The Sql_orm package provides an “Object-Relational Mapper” interface between a Sqlite3 database and OCaml. 0.2 ocaml-orm-sqlite OSpec OSpec is syntax extension and supporting library for Behavior Driven Development in OCaml. 0.2.0 OSpec ocaml-autoconf Autoconf macros to support configuration of OCaml programs and libraries. 1.1 ocaml-autoconf OCamlPAM OCamlPAM is a wrapper for the Pluggable Authentication Modules (PAM) library. PAM provides a flexible mechanism for authenticating users via administrator-defined policies. 1.0 OCamlPAM OCaml-Java The goal of the OCaml-Java project is to allow seamless integration of OCaml and Java. 1.4 OCaml-Java OCaml-newt Newt is a simple text window system, designed as a better replacement for systems such as dialog. It is used in the Red Hat text mode installer (anaconda). This is a set of bindings for calling newt from OCaml programs. 0.1 OCaml-newt FunLife The Game of Life. Features : zoom in/out capability, run at different speeds or by steps, drag the view even when it runs, shapes, colours, grids selections, support standard life file format for input / output, can show next state information with colours or shapes, undo / redo. 051207 FunLife N-edged undirected graphs An OCaml program that outputs the set of N-edged graphs (polynema) to a standard .dot file. N-edged undirected graphs ocaml-duppy An advanced scheduler. The basics of this scheduler is to implement a wrapper around Unix.select in order to be able to wait for events on a socket and/or a given delay and execute a task when one of the waited events occured. 0.1.0 ocaml-duppy pa_breakcont This project makes use of the Ocaml release 3.10 macro system to add break and continue statements to for and while loops. The macros implement these statements as exceptions. Since the introduction of the two try/with blocks corresponding (each) to the (separate) break and continue exceptions includes some overhead at run time, the macro adds these try/with blocks sparingly... only if the programmer uses the corresponding statement. For example, the continue statements adds the most overhead since it causes a try/with block to be inserted within a loop. However, code that contains no continue statement will be unaffected by the macro. 0.12 pa_breakcont Bitstring The ocaml-bitstring project adds Erlang-style bitstrings and matching over bitstrings as a syntax extension and library for OCaml. (This project was formerly known as "bitmatch"). You can use this module to both parse and generate binary formats, files and protocols. Bitstring handling is added as primitives to the language, making it exceptionally simple to use and very powerful. 2.0.2 Bitstring CamlPy A library for communicating between python and OCaml, together with a little proof-of-concept interface to WxPython, as a first step towards a better GUI tool for OCaml. 0.1 CamlPy Tophide Hides toplevel values whose name starts with an underscore. 1.0.0 Tophide OCaml-R OCaml-R provides bindings to the R math library and the R library usable to embed R in your application. 0.2 OCaml-R Cursico An OCaml curses editor to write coloured texts or draw things. 080415 Cursico Xsetxmap An unfunctorized version of Set and Map. 2008-04-21 Xsetxmap Redditwatcher Redditwatcher is an Ocaml program that follows the evolution of the scores (up and downvotes, number of comments) of stories appearing on Reddit. Typically, it takes the 50 newest stories and samples their scores at reasonable intervals, writing results into little marshalled files that can be converted to gnuplottable and R-loadable files. Redditwatcher Bindings for Chipmunk Chipmunk is a rigid body physics library, designed for 2D video games. It is intended to be fast, numerically stable, and easy to use. 0.01 Bindings for Chipmunk Binkhop Binkohp is a little game inspired by the Mah-jong and extended to 3D. 0.01 Binkhop Mixing OCaml and C This tutorial explains how to mix OCaml and C code (function calls, data types, finalisation, compilation with a C library). Mixing OCaml and C Jane Street's core library Jane Street's alternative to the standard library. 0.7.0 Jane Street's core library Bin-prot A binary protocol generator. 1.0.5 Bin-prot Frama-C Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Boron-20100401 Frama-C ocaml-osm-route A quite simple program to do some basic routing over Open Streat Map maps. It parses an .osm.bz2 file, creates a compact data structure in memory (which is saved into a cache to speed up next searches), finds the OSM nodes closest to the source and goal points given as (latitude, longitude) couples, does the routing itself, prints it on the screen and saves it in .osm XML format (for example to load it into JOSM). ocaml-osm-route Oug Oug is a code analysis tool building reference graphs from OCaml code, that is graphs representing which elements (value, module, class, ...) reference which elements. It comes with the Ouglib library to be able to embed the analyzer in other OCaml applications. From the graph, various outputs can be obtained: list of elements not referenced anywhere (useless elements and so potential dead code), various graphiz graphs, ... 2.0-alpha Oug Htcaml HTCaML enables the embedding of XHTML fragments in your OCaml program (the EDSL translates directly to Xmlm) using quotations. It also allows you to auto-generate boilerplate XHTML fragments from type definitions. Htcaml CaSS A CSS quotation mechanism for ocaml using camlp4. CaSS Uuidm Uuidm is an OCaml module implementing 128 bits universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122. Uuidm is made of a single, independent, module and distributed under the new BSD license. 0.9.0 Uuidm Ooauth an implementation of the OAuth 1.0 protocol for OCaml, as well as an OCaml binding to Skydeck web API (providing access to your cell phone call log). 0.1 Ooauth Logic File System LFS is a very expressive file system coded in OCaml. LFS enables the user to access his 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. 0.5 Logic File System Bisect Bisect is a coverage tool for the Objective Caml language. It is a camlp4-based tool that allows to instrument your application before running tests. After application execution, it is possible to generate a report in HTML format that is the replica of the application source code annotated with code coverage information. 1.1 Bisect Easy-format A small library (a module in fact) that is meant to make it easy to produce pretty-printed text. The data to be printed goes through a tree that carries all the information required for pretty-printing. After that, a single call to Easy_format.Pretty.to_stdout (for instance) outputs the indented result. 0.9.0 Easy-format Objsize Objsize is a small OCaml library for computing size of OCaml values. It computes count of words used for values, count of values' headers, maximal depth of values. There are functions to get size of values in bytes too. 0.11 Objsize Mikmatch The goal of Micmatch is to make text-oriented programs even easier to write, read and run without losing the unique and powerful features of Objective Caml (OCaml). Micmatch provides a concise and highly readable syntax for regular expressions, and integrates it into the syntax of OCaml thanks to Camlp4. 1.0.0 Mikmatch Concurrent Cell 'Concurrent Cell' is a library for multi-thread programming with CML(Concurrent ML) style synchronous message passing communications. The Threads library, a part of OCaml, realizes the CML style event value, but does not support shared variables like ivar and mvar. This library implements these variables without creating any new thread. This means that ivar and mvar are lightweight and GC target. 3.0beta2 Concurrent Cell pa_where A camlp4 extension enabling backward declarations. The "where" keyword, available in the revised syntax, and one of the truly missed Caml-light friends, is back. 0.4 pa_where virt-mem These are a collection of monitoring and management tools for virtual machines. 0.2.9 virt-mem Opis A functional-reactive approach for developing distributed systems in Objective Caml. In Opis, a protocol description consists of a reactive function (called event function) describing the behavior of a distributed system node. The event functions in Opis are built from pure functions as building blocks, composed using the Arrow combinators. This facilitates reasoning about event functions both informally and using interactive provers. For example, this approach leads to simple termination arguments. Opis Orpc Orpc is a tool for generating RPC clients and servers. It can generate clients / servers for use with Ocamlnet's ONC RPC implementation (like ocamlrpcgen), and also for RPC over HTTP for use with ocamljs. To describe interfaces, you give orpc an OCaml signature instead of an RFC-1831/1832-format file. Most OCaml types (including polymorphic types), exceptions, and functions with labelled/optional arguments are supported. 0.3 Orpc OCaml Batteries Included Batteries Included is a candidate standard development platform for OCaml. 1.4.0 OCaml Batteries Included OCamlspotter A small compiler patch which extends -annot option and records all the variable definition locations, so that we can jump from variable uses to their definitions easily from editors such as emacs. 1.3.0 OCamlspotter csml A system to interface OCaml and .Net/C#. CSML makes it possible to leverage existing .Net components from OCaml, to expose OCaml libraries into the .Net world and more generally to write mixed OCaml/.Net applications. With CSML, developers write scripts that describe interactions between the two worlds (OCaml and .Net). It is possible to bind functions, static or instance methods, properties, to pass opaque pointers from one heap to the other, or to copy values structurally. CSML preserves type safety properties from the two worlds, it propagates exceptions and first-class functions in a sound way and it deals automatically with memory management. 0.1 csml OCaml-Xlib OCaml bindings for the Xlib library.Also includes GLX for OpenGL windowing. OCaml-Xlib Dum Dum is a library for inspecting the runtime representation of arbitrary Objective Caml values. Shared or cyclic data are detected and labelled. This guarantees that printing would always terminate. This makes it possible to print values such as closures, objects or exceptions in depth and without risk. 1.0.0 Dum ocamlbuild-ctools An ocamlbuild plugin that supports compiling C and C++ cross platform using ocamlbuild only. Variant builds - can build many different variants from the same source tree. For example static libraries, test builds, debug, optimization, linking or not linking with some other code, different platform builds etc. Automic recursive header file generation - needed for pulling source into _build directory. It used to be able to rebuild on header file change, but it has regressed - it is possible that .stamp files do not hold signatures of dependencies of dependencies or something. It has not been tested on Windows, but build rules have been copied from old build scripts so it should not be that hard to get going. 0.1.0 ocamlbuild-ctools Symbiosis This is a meta build system. It is implemented as an ocamlbuild plugin. It checks out source code from repositories and starts builds of individual components. Because ocamlbuild doesn't support linking additional files, a lot of different code is collected in a single file. This includes a JSON parser for configuration files. Symbiosis tries to avoid the problem of collecting all source dependencies in one large tree, or alternatively installing dependencies on the system. The former makes it difficult to change dependent component versions. The latter makes it difficult to quickly test different build version complicates developer setup. Correctly configured, just call ocamlbuild with a target for the top most component to build. All the source should be appear in the working directory and build. Initially it can be complex to set up, but once done, it is rather easy to add new components with interesting dependencies. 0.1.0 Symbiosis GenePool GenePool is a framework for writing evolutionary optimization algorithms in OCaml. This library is not a complete solution but rather is a generic skeleton which takes care of the plumbing and nuisances of optimization. You provide GenePool with functions that give meaning to fitness and reproduction and after a specified number of generation, GenePool returns an array of the best "genomes" it evolved. GenePool ocaml-glob This is a trivial wrapper around libc's glob(3) function for OCaml. The Glob module interface contains a single function, glob. This function takes a string argument possibly containing shell wildcards, and returns an array containing the names of the file system entries matching it. 0.1.0 ocaml-glob Camlish A simple module for shell scripting in OCaml. 0.03 Camlish Mlpost An Ocaml interface to MetaPost, a powerful software to draw pictures to be embedded in LaTeX documents. 0.8.0 Mlpost Yacfe Yet Another C/C++ Front-End, which is an OCaml API to write style-preserving source-to-source transformations such as refactorings on C or C++ source code. 0.2 Yacfe estring estring, which stands for `extended strings' is a library with a syntax extension allowing to see strings as lists of characters. It also define a new safe and extensible printf/scanf facility. 0.1 estring mltree mltree is similar to the unix command line utility 'tree', but with some differences. mltree O'Browser O'Browser is an implementation of the OCaml virtual machine in JavaScript, designed to run in web browsers. It features a runtime library compatible with OCaml's standard one (including OOP and concurrent threads) and bindings of some JavaScript functions to manipulate the DOM primitives. 1.1 O'Browser Linux - Win32 cross compiler A Linux -> Win32 OCaml cross-compiler, developed and sponsored by Red Hat's Fedora MinGW project[1]. Red Hat are sponsoring this project so that we can build our OCaml virt tools for Windows without the hassle of using Windows. Linux - Win32 cross compiler Kaputt Kaputt is a testing tool for the Objective Caml language. 1.1 Kaputt Blahcaml Blahcaml provides basic Ocaml bindings to the Blahtex library. Blahtex is written in C++, and aims at the conversion of TeX equations into MathML. 2.0 Blahcaml Camlhilight Camlhighlight provides syntax highlighting and pretty-printing facilities for displaying code samples in Ocsigen applications. The library works by parsing the output of Highlight, a widely available application supporting the most common programming and markup languages. 1.0 Camlhilight Delimited overloading Delimited overloading is a syntax extension to ease the writing of efficient arithmetic expressions in OCaml. Delimited overloading Dormin A character animation player with LablGL, for models from Shadow of the colossus game. Dormin daml daml is an OCaml binding to the CUDA API. daml ocamlbuild-plus Ocamlbuild-plus is an extension of ocamlbuild that enables to use findlib packages in its build plugins. 0.99 ocamlbuild-plus Optcomp Camlp4 syntax extension for optional compilation with cpp-like directives. 1.0 Optcomp React React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values : applicative events and signals. React doesn't define any primitive event or signal, this lets the client chooses the concrete timeline. 0.9.1 React Rtime Rtime is an OCaml module implementing timelines for React [1]. It manages time stamp events, delayed events and delayed signals along timelines. The client chooses the concrete timeline by providing an absolute notion of time. Running the timeline at the appropriate pace is left to the client. 0.9.1 Rtime Preludeml OCaml stdlib replacement with a Haskellish flavour. Preludeml OCaml PLEAC Following the Perl Cookbook (by Tom Christiansen and Nathan Torkington, published by O'Reilly) spirit, the PLEAC Project aims to gather fans of programming, in order to implement the solutions in other programming languages. In this document, you'll find an implementation of the Solutions of the Perl Cookbook in the Objective CAML language. OCaml PLEAC ocamlgadt An experimental branch of the O'Caml compiler: O'Caml extended with Generalized Algebraic Datatypes. ocamlgadt Mini Gosix Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets. 1.0 Mini Gosix libguestfs libguestfs is a library for accessing and modifying guest disk images. Amongst the things this is good for: making batch configuration changes to guests, getting disk used/free statistics (see also: virt-df), migrating between virtualization systems (see also: virt-p2v), performing partial backups, performing partial guest clones, cloning guests and changing registry/UUID/hostname info, and much else besides. libguestfs uses Linux kernel and qemu code, and can access any type of guest filesystem that Linux and qemu can, including but not limited to: ext2/3/4, btrfs, FAT and NTFS, LVM, many different disk partition schemes, qcow, qcow2, vmdk. libguestfs provides ways to enumerate guest storage (eg. partitions, LVs, what filesystem is in each LV, etc.). It can also run commands in the context of the guest. Also you can mount guest filesystems on the host (requires root privs and NFS). libguestfs is a library that can be linked with C and C++ management programs (or management programs written in OCaml, Perl or Python). You can also use it from shell scripts or the command line. 0.9 libguestfs OCamljs Ocamljs compiles OCaml to Javascript. It uses the standard OCaml front-end, so the full language is supported (the object system is partially supported, should be fixed soon). Included are several libraries for Web programming, as well as a library for working with Javascript via Camlp4. It works with orpc for RPC over HTTP, and with froc for functional reactive browser programming. 0.3 OCamljs Llama light Llama Light is an implementation of the Caml programming language. It features a Hindley-Milner core that is small enough to read through and grasp as a whole, thereby making it easy to modify and extend for experimentation. 0.0829 Llama light Froc Froc is a library for function reactive programming in OCaml. The interface is similar to FrTime and FlapJax, but (of course) typed, implementing a monad of changeable values. The implementation is data-driven, using the dynamic dependency graphs of Acar et al.'s adaptive functional programming. Froc can be used with ocamljs, and with the included Froc-dom library can be used for web browser programming. 0.2 Froc Amthing Amthing is a multi-threaded GUI library for Objective Caml. Amthing DiamondBack Ruby Diamondback Ruby (DRuby) is an extension to Ruby that aims to bring the benefits of static typing to Ruby without compromising the expressiveness of the language. 20090421 DiamondBack Ruby Hydro Hydro is an independent implementation of ICE, the object-oriented RPC protocol by ZeroC, for the O'Caml programming language. Hydro (like ICE) allows you to bridge language barriers by letting components written in different programming languages communicate with each other. ZeroC's ICE product currently includes implementations for C++, Java, C#, Python, Ruby, VB, and PHP. Hydro adds support for O'Caml. The ICE protocol is rich enough to make the representation of the data to communicate easy and convenient to use, and adopts an object-oriented type system. ZeroC sees ICE as a superior successor to CORBA. 0.7 Hydro Camlspikes Library for the (possibly distributed) simulation of networks of spiking neurons, with an emphasis on the quick and easy implementation of one's own neuron or synapse model. Camlspikes ocaml-text OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way. 0.2 ocaml-text Bolt Bolt is a logging tool for the Objective Caml language. It is inspired by and modeled after the famous log4j logging framework for Java. 1.2 Bolt Hansei HANSEI is the the embedded domain-specific language for probabilistic programming: for writing potentially infinite discrete-distribution models and performing exact inference, importance sampling and inference of inference. HANSEI is an ordinary OCaml library, with probability distributions represented as ordinary OCaml programs. Delimited continuations let us reify non-deterministic programs as lazy search trees, which we may then traverse, explore, or sample. Thus an inference procedure and a model invoke each other as co-routines. Thanks to the delimited control, deterministic expressions look exactly like ordinary OCaml expressions, and are evaluated as such, without any overhead. Inference procedures and probabilistic models are both ordinary OCaml functions. Both may be defined and extended by library users; both may appear in each other's code. Performing inference on a model that includes calls to inference procedures lets us parameterize distributions by distributions, and lets inference procedures measure their own accuracy. One application is modeling agents reasoning about each other's limited reasoning. Hansei Syncweb Syncweb is a command line tool enabling programmers to use the literate programming development methodology, using the noweb tool, while still being able to modify the generated files from the literate document. syncweb provides a way to "synchronize" the possibly modified original document with its possibly modified views with an interface similar to Unison. In addition, syncweb synchronizes data at a fine grained level by computing and storing md5sum of the different chunks. 0.2 Syncweb ocamlglobaltags A source code tagger for OCaml that can be plugged in to GNU Global's tag set up. 1.0 ocamlglobaltags OCaml-SFML OCaml binding for SFML (Simple and Fast Multimedia Library). SFML is a free multimedia library that provides low and high level access to graphics, input, audio, etc. 0.03c OCaml-SFML WideStudio WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine, mu-CLinux(wo/X11) in various programming languages such as C/C++, Java, Perl, Ruby, Python, Objective Caml. Since an application is build on MWT(Multi-Platform Widget Toolkit) which runs on multiple platforms, WideStudio applications are all source compatible between these platforms. 3.98 WideStudio OCaml plugin for the Netbeans IDE This plugin extends the support of NetBeans IDE for projects written in Objective Caml Language. OCaml plugin for the Netbeans IDE pa_polyrec pa_polyrec is a camlp4 extension providing polymorphic recursion. 0.1 pa_polyrec Lwt Lwt is a library for cooperative threads in OCaml. It is using monadic style, which makes it really easy to use. With respect to preemptive threads, cooperative threads are not using a scheduler to distribute processor time between threads. Each thread must instead tell other threads that it wants them to continue. An uncooperative thread will keep other threads blocked until it has completed its work. 2.3.0 Lwt ocaml-cry Ocaml-cry is an OCaml native implementation of the protocols used to send source data to icecast and shoutcast servers. The main difference with the famous libshout implementation is that is allows to set custom fields for source headers, allowing in particular the use of any custom format. Also, contrary to libshout, this module does not handle synchronisation of the data sent to the server, which is then up to the programmer. 0.1.2 ocaml-cry OBus OBus is a pure ocaml implementation of DBus. It aims to provide a clean and easy way for ocaml programmers to access and provide dbus services. 1.1 OBus OCaml-gir OCaml-gir is an automated binding generator for glib-based libraries. 0.9 OCaml-gir Xapi toolstack The xapi toolstack, which provides the core Citrix Xenserver's functionalities, is a set of libraries and programs written in OCaml. It is approximately 200k lines of code developed from early 2006. Within Citrix, more than 40 people have already contributed to its source code. Xapi toolstack Dyn Dyn is a camlp4 syntax extension for Ocaml that scaffolds injection and projection functions to an from dynamicaly typed values (`dyn`), reifies ocaml type representation in run-time inspectable values (`dtd`), provides camlp4 quotations/antiquotations to work with `dyn`s and `dtd`s. When the `pa_dyn` syntax is loaded it adds a new `type_conv` type processor that can be called by appending `with dyn` after a type definition (e.g. `type t = ... with dyn`) three values are defined: val t_of_dyn : Dyn.Data.t -> t, val dyn_of_t : t -> Dyn.Data.t, val dtd_of_t : Dyn.DTD.t alpha01 Dyn Caml examples collection The Caml Examples package is a large set of Caml example programs. Most of the programs are provided both in Objective Caml and in Caml Light. Caml examples collection Cppo Cppo is an equivalent of the C preprocessor targeted at the OCaml language and its variants. Its main purpose is to provide simple macro substitution (#define) and file inclusion (#include) for the occasional case when this is useful in OCaml. The implementation of cppo relies on the standard library of OCaml and on the standard parsing tools Ocamllex and Ocamlyacc, which contribute to the robustness of cppo across OCaml versions. 0.9.2 Cppo Gpr A machine learning library for dealing with Gaussian process regression in OCaml. 0.9.4 Gpr OCaml-ofc An OCaml interface for Open Flash Chart 2. OCaml-ofc Utilisation d'OCaml au lycée Some notes about teaching OCaml at school. Utilisation d'OCaml au lycée OCamlEditor OCamlEditor is a source code editor and build tool for OCaml written in OCaml+LablGTK working under Windows. 1.6.0 OCamlEditor CCSS CCSS is a preprocessor/pretty-printer for CSS (Cascading Style Sheets). It extends the CSS language with support for declaration of variables and basic arithmetic operations (addition, subtraction, multiplication, division). The programme is supposed to be used as a filter: it reads the CSS source from stdin and outputs its result on stdout. 1.1 CCSS OCaml-lzma OCaml bindings for the lzma library. 0.01 OCaml-lzma jsonpat jsonpat is an application for the easy transformation of JSON files. 0.7 jsonpat Sebib Sebib means "S-Expressions for BIBliography", it provides a hackable Bibliographic References Management System. 1.0.0 Sebib Oasis OASIS can integrate configure, build and install systems in their projects. It helps to create standard entry points in the source code build system and allows external tools to analyse projects easily. It is inspired by Cabal which is the same kind of tool for Haskell. 0.2 Oasis OCamlify OCamlify allow to create OCaml source code by including whole file into OCaml string or string list. The code produced can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code. 0.0.1 OCamlify OCaml-data-notation Ocaml-data-notation, aka odn, dumps OCaml data in OCaml notation. It is inspired by JSON. It uses type-conv to create data dumper functions, you just have to add "with odn" in the type definition. There is no load scheme, since it is used to dump datastructure into OCaml scripts. It is mainly a code generator helper. 0.0.5 OCaml-data-notation Caml-inspect Inspect is a small library to inspect arbitrary OCaml values and their associated object graph by either dumping them as S-expressions (with sharing and references), or by writing output in the DOT-language which can then be further processed by Graphviz (http://www.graphviz.org/). Caml-inspect Pasta Pasta is a cross-assembler for the MOS 6502 (also including 65C02 instructions), which contains experimental support for automatic management of certain resources (namely, zero-page memory locations), provided that you are prepared to use a slightly restricted programming style. 0.04 Pasta llpp PDF viewer written in OCaml and mupdf. v7 llpp ocamlmq ocamlmq is a STOMP message broker with features that make it especially suitable for implementing task queues and communication between subsystems. ocamlmq Plasma Map/Reduce and distributed filesystem. This package contains two applications: PlasmaFS is a distributed filesystem, Plasma MapReduce is a Map/Reduce framework on top of PlasmaFS. 0.5 Plasma Fiat-Shamir-ZKP An implementation of Fiat and Shamir's zero-knowledge network authentication protocol 1.0 Fiat-Shamir-ZKP Oclock Precise POSIX clock library for Ocaml. This library uses the clock_gettime(2) family of functions, to get precisions from below the milliseconds upto the nanoseconds depending on the platform (system and CPU). It lets you measure time from the real-time clock, monotonic clocks, or CPU-time clocks of the current process, of a remote process, or of a thread. 0.2 Oclock Pfff Pfff 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. 0.13 Pfff ocaml-expect This is a simple implementation of `expect` to help building unitary testing of interactive program. You can match the question using a regular expression or a timeout. See the Expect manual for more information: http://expect.nist.gov/ 0.0.2 ocaml-expect OCAPIC A project which brings OCaml to programming PIC micro-controllers. 2.5 OCAPIC OCMP Implementation of MySQL Protocol with the Bitstring library. 0.1 OCMP ocamlclean ocamlclean takes a bytecode executable (which are generally but not necessarily produced by "ocamlc" compiler) and reduces its size by eliminating some dead code. ocamlclean ocaml-extunix Thin bindings to various low-level system APIs which are not covered by Unix module. 0.0.3 ocaml-extunix MLBrot MLbrot is a program allowing to explore the Mandelbrot Set and produce nice fractal images. With some extra work, can produce videos. Can be helped by other computers, via internet, to speed up images calculations. 1.00 MLBrot ocaml-sphinx OCaml client API for Sphinx fulltext search engine 0.0.1 ocaml-sphinx OCamljit OCamlJit 2.0 is a Just-In-Time engine for Objective Caml 3.12.0 on desktop processors (x86/x86-64). It translates the OCaml byte-code used by the interpreter (ocamlrun and ocaml) to x86/x86-64 native code on-demand and runs the generated native code instead of interpreting the byte-code. It is designed to run with minimal compilation overhead (translating only what is being executed, avoiding costly code generation and optimization techniques), while being 100% compatible with the byte-code runtime (including serialization and hashing of closures, etc.). 2.0 OCamljit Js_of_ocaml Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible to run Ocaml programs in a Web browser. 1.0 Js_of_ocaml Argot Argot is an enhanced HTML generator for the ocamldoc tool of the Objective Caml language. It provides additional styles, additional tags, and support for tables. 1.0 Argot Mascot Mascot is a style-checker for Objective Caml sources. It provides checks in various categories: code, documentation, interface, metrics, and typography. The goal of the tool is to allow a (team of) developer(s) to enforce style properties over a source codebase for greater coherency and style uniformity. The tool is highly customizable, allowing one to choose the checks to perform, as well as exceptions to those checks in given files. Moreover, a plugin system allows the developer to add its own checks, and output modes. Bundled output mode range from bare text to CheckStyle- and JDepend-compatible XML file in order to allow integration with Hudson. 1.0-beta Mascot Lablgtk-extras Lablgtk-extras is a collection of libraries and modules useful when developing OCaml/LablGtk2 applications. 1.0 Lablgtk-extras Webdav client library This library implements the client side of the WebDAV protocol (RFC 4918). The file locking part of WebDAV is omitted, though. The library uses Ocamlnet's [netclient] library for client-side HTTP, and extends it by providing the required access methods for WebDAV. Additionally, there is also an implementation for Ocamlnet's Netfs.stream_fs abstraction modelling a simple file system. 1.0 Webdav client library ODNS ODNS is a DNS library written in Objective Caml, with an API only in Objective Caml for now (soon probably a C API as well). 0.3 ODNS ocsigen-bundler This project helps to create self contained Ocsigen web server with its Eliom modules. It is a mean to easily deploy an Ocsigen server on a server without OCaml installed. 0.1.0 ocsigen-bundler Introduction pratique à OCaml This is an ocaml course with exercises, in french. Sources are available. 20100129 Introduction pratique à OCaml Berto BERTO is an experimental ray tracer implemented in the Objective-Caml programming language. In this project emphasis is put on physically based approximations and functional programming style. 0.1.1 Berto Netamqp This library implements an AMQP client for accessing a message broker. The supported protocol version is 0-9-1, and successful tests have been run against RabbitMQ. The library is designed as an extension to Ocamlnet. 1.0 Netamqp mcmc-ocaml A library for Markov-chain Monte Carlo computations in OCaml. mcmc-ocaml Mesh OCaml interface to various mesh generators, in particular triangle. 0.7 Mesh Cheat sheets Cheat sheets for ocaml tools and libraries. Cheat sheets Planck A small monadic parser combinator library for OCaml. 1.0.0 Planck Cmdliner Cmdliner is an OCaml module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands (like darcs or git) and respects most of the POSIX and GNU conventions. 0.9.0 Cmdliner FDinfo a small library written in O'Caml to get the current offset and flags of files opened by another process. 0.2.1 FDinfo ocaml-xgd-basedir This library implements the xdg-basedir specification. It helps to define standard locations for configuration, cache and data files in the user directory and on the system. It is a straightforward implementation on UNIX platform and try to apply consistent policies with regard to Windows directories. 0.0.1 ocaml-xgd-basedir Ragel Ragel compiles executable finite state machines from regular languages. Ragel targets C, C++, Objective-C, D, Java and Ruby. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular language. Code embedding is done using inline operators that do not disrupt the regular language syntax. 6.7 Ragel ODisco ODisco is a library for implementing Disco map-reduce jobs in OCaml. It implements the Disco worker protocol, and provides the plumbing to connect user-specified computations to Disco data sources and results. ODisco Dynamic contract checking for OCaml A prototype that does dynamic contract checking for OCaml code. The prototype is built upon the source code of ocamlc-3.11.2. Dynamic contract checking for OCaml Mleternal Incrementally rebuild OCaml programs as source code evolves 0.2 Mleternal OCaml Iteratees OCaml port of Iteratees (safe, practical, declarative input processing, by Oleg Kiselyov) to OCaml. 0.3 OCaml Iteratees OCI*ML An Oracle binding for OCaml modeled on OraTcl. OCI*ML Gammu This is a binding to libGammu, which provides abstraction layer to work with different cell phones from different vendors. 0.9 Gammu Lpd Lpd is a Line Printer Daemon (LPD) server library written entirely in OCaml. It allows to define your own actions for LPD events. An example of a spooler that prints jobs on win32 machines (through GSPRINT) is provided. 1.1 Lpd l-bfgs L-BFGS is a limited-memory quasi-Newton code for bound-constrained optimization. It is a binding to http://users.eecs.northwestern.edu/~nocedal/lbfgsb.html 0.5 l-bfgs atdgen Atdgen is a command-line program that takes as input type definitions in the ATD syntax and produces OCaml code suitable for data serialization and deserialization. 1.2.0 atdgen ocaml-fastrandom A random number generator compatible with standard library Random module (pre OCaml 3.12). It contains C code to speed up generation and a function to skip a lot of numbers at once. Benchmarks show a 3 fold increase in speed for generating random numbers. 0.0.2 ocaml-fastrandom ocaml-archive Bindings to libarchive, a C library for reading and writing tar, cpio, zip, ISO, and other archive formats. 2.8.4+1 ocaml-archive Calcul avec OCaml These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library. Calcul avec OCaml utop utop is a toplevel for OCaml which can run in a terminal or in emacs. It supports completion, colors, parenthesis matching, ... 1.1 utop Piqi Piqi is a set of languages and open-source tools for working with structured data. 0.5.6 Piqi Texexpand This project contains an OCaml re-implementation of some popular utilities like texexpand and delatex that were commonplace in the late 1990’s on all TeX/LaTeX user machines. Texexpand Parmap Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications. 0.9.8 Parmap Zarith The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy. 1.0 Zarith Lablgtk2-react Lablgtk2-react interfaces lablgtk2 properties and signals with Functional Reactive Programming (FRP) libraries like React. Lablgtk2-react Pycaml (2) OCaml/Python interface. 2011-10-05 Pycaml (2) OCamlnat The ocamlnat project provides a new native code OCaml toplevel ocamlnat, which is mostly compatible to the byte code toplevel ocaml, but up to 100 times faster. It is based on the optimizing native code compiler, the native runtime and an earlier prototype by Alain Frisch. It is build upon Just-In-Time techniques and currently supports Unix-like systems (i.e. Linux, BSD or Mac OS X) running on x86 or x86-64 processors. Support for additional architectures and operating systems is planned, but not yet available. 0.1.0 OCamlnat Guesdon Maxence Maxence Guesdon Simonet Vincent Vincent Simonet Leroy Xavier Xavier Leroy Matuszek David David Matuszek Cousot Patrick Patrick Cousot Filliâtre Jean-Christophe Jean-Christophe Filliâtre Weis Pierre Pierre Weis Furuse Jun Jun Furuse Schmitt Alan Alan Schmitt Rémy Didier Didier Rémy Le Botlan Didier Didier Le Botlan Di Cosmo Roberto Roberto Di Cosmo Miquel Alexandre Alexandre Miquel Ailleret Sébastien Sébastien Ailleret Cheney James James Cheney Chesters William William Chesters Sperber Michael Michael Sperber Blumensath Achim Achim Blumensath Durak Berke Berke Durak Farrand Jim Jim Farrand Fernandez Pons Diego Olivier Diego Olivier Fernandez Pons Huet Gérard Gérard Huet Stolpmann Gerd Gerd Stolpmann POC Team POC Team Stein Lex Lex Stein Marceau Guillaume Guillaume Marceau Marché Claude Claude Marché Raffali Christophe Christophe Raffali Bannai Hideo Hideo Bannai Tamada Yoshinori Yoshinori Tamada Boulet Pierre Pierre Boulet Heard Jeff Jeff Heard Loulergue Frédric Frédric Loulergue Moskal Michal Michal Moskal Frisch Alain Alain Frisch Rafaelsen Hans Ole Hans Ole Rafaelsen Martin Evan Evan Martin Maarek Manuel Manuel Maarek Cannasse Nicolas Nicolas Cannasse Ohl Thorsten Thorsten Ohl Hosoya Haruo Haruo Hosoya Baretta Alessandro Alessandro Baretta Cohen Albert Albert Cohen Nogin Aleksey Aleksey Nogin Kopylov Alexei Alexei Kopylov Spano Alvise Alvise Spano Dubey Amit Amit Dubey Brandmaier Andreas Andreas Brandmaier Birkett Andrew Andrew Birkett Conway Andrew Andrew Conway Moskal Anton Anton Moskal Doniec Arnaud Arnaud Doniec Yerkes Art Art Yerkes Pfeffer Avi Avi Pfeffer Chaudhuri Avik Avik Chaudhuri Starynkevitch Basile Basile Starynkevitch Pierce Benjamin C. Benjamin C. Pierce Geer Benjamin Benjamin Geer Monate Benjamin Benjamin Monate Werner Benjamin Benjamin Werner de Boursetty Benoît Benoît de Boursetty Lyons Bill Bill Lyons Hurt Brian Brian Hurt Wilcox Brock Brock Wilcox Barras Bruno Bruno Barras Pagano Bruno Bruno Pagano Salvy Bruno Bruno Salvy Verlyck Bruno Bruno Verlyck Gunter Carl A. Carl A. Gunter Limongelli Carla Carla Limongelli Lehalle Charles-Albert Charles-Albert Lehalle Gillot Christian Christian Gillot Lindig Christian Christian Lindig Queinnec Christian Christian Queinnec Paulin-Mohring Christine Christine Paulin-Mohring Bauer Christoph Christoph Bauer Deleuze Christophe Christophe Deleuze Troestler Christophe Christophe Troestler Watford Christopher Christopher Watford Sacerdoti Coen Claudio Claudio Sacerdoti Coen Calcagno Cristiano Cristiano Calcagno Pous Damien Damien Pous de Rauglaudre Daniel Daniel de Rauglaudre Fox David David Fox Madore David David Madore McClain David David McClain Mentre David David Mentre Monniaux David David Monniaux Galmiche Didier Didier Galmiche Plaindoux Didier Didier Plaindoux Ara Dimitri Dimitri Ara Lomov Dmitry Dmitry Lomov Chailloux Emmanuel Emmanuel Chailloux Norige Eric Eric Norige Stokes Eric Eric Stokes Arneson Erik Erik Arneson Torresin Ernesto Ernesto Torresin Le Fessant Fabrice Fabrice Le Fessant Pessaux François François Pessaux Pottier François François Pottier Rouaix François François Rouaix Thomasset François François Thomasset Brunel Frederic Frederic Brunel Chanda Gaurav Gaurav Chanda Necula George George Necula Mariano Georges Georges Mariano Dowek Gilles Gilles Dowek Cousineau Guy Guy Cousineau Chomsky Harry Harry Chomsky Tews Hendrik Hendrik Tews Dubois-Ferriere Henri Henri Dubois-Ferriere Xi Hongwei Hongwei Xi Herbelin Hugo Hugo Herbelin Cassé Hugues Hugues Cassé Eo Hyunjun Hyunjun Eo Trotts Issac Issac Trotts Pérez Guardado Jacobo Jacobo Pérez Guardado Garrigue Jacques Jacques Garrigue Woodyatt James James Woodyatt Hickey Jason Jason Hickey Monin Jean-François Jean-François Monin Goutelle Jean-Sylvain Jean-Sylvain Goutelle Henrikson Jeff Jeff Henrikson Olsson Jens Jens Olsson Condit Jeremy Jeremy Condit Serot Jocelyn Jocelyn Serot Harrison John John Harrison Small John John Small Moore Jon Jon Moore Heusser Jonathan Jonathan Heusser Falcou Joël Joël Falcou Courant Judicael Judicael Courant Signoles Julien Julien Signoles Kim Jungtaek Jungtaek Kim Stellingwerff Jurjen Jurjen Stellingwerff Siméon Jérôme Jérôme Siméon Skalski Kamil Kamil Skalski Knowles Kenn Kenn Knowles Pecquet Lancelot Lancelot Pecquet Nilsson Lars Lars Nilsson Vigneron Laurent Laurent Vigneron Fellermayr Leonhard Leonhard Fellermayr Habert Luc Luc Habert Maranget Luc Luc Maranget Mazardo Luc Luc Mazardo Zeeman Maas-Maarten Maas-Maarten Zeeman Langiewicz Marek Marek Langiewicz Hayden Mark Mark Hayden Shinwell Mark Mark Shinwell Mottl Markus Markus Mottl Cialdea Mayer Marta Marta Cialdea Mayer Jambon Martin Martin Jambon Sandin Martin Martin Sandin Fernandez Mary Mary Fernandez Goutelle Mathieu Mathieu Goutelle Gushee Matt Matt Gushee Harren Matthew Matthew Harren Boyd Matthew W. Matthew W. Boyd Lagacherie Matthieu Matthieu Lagacherie Mauhuur Mauhuur Mauhuur Mauhuur Bremond Maurice Maurice Bremond Hicks Michael Michael Hicks Quercia Michel Michel Quercia Lin Mike Mike Lin Spivey Mike Mike Spivey Fedotov Mikhail Mikhail Fedotov Egan Miles Miles Egan Gauthier Nadji Nadji Gauthier Gray Nathaniel Nathaniel Gray Semyonov-Kolchin Nickolay Nickolay Semyonov-Kolchin François Nicolas Nicolas François George Nicolas Nicolas George Oury Nicolas Nicolas Oury Ramsey Norman Norman Ramsey Rodeh Ohad Ohad Rodeh Andrieu Olivier Olivier Andrieu Ricordeau Olivier Olivier Ricordeau Lee Oukseh Oukseh Lee Kakkar Pankaj Pankaj Kakkar Kalliokoski Panu Panu Kalliokoski Brisset Pascal Pascal Brisset Brisset (ENAC) Pascal Pascal Brisset (ENAC) Manoury Pascal Pascal Manoury Rigaux (Pixel) Pascal Pascal Rigaux (Pixel) Doane Patrick Patrick Doane Zimmermann Paul Paul Zimmermann Sevilla Rafael R. Rafael R. Sevilla Treinen Ralf Ralf Treinen Budde Reinhard Reinhard Budde Jones Richard W.M. Richard W.M. Jones van Renesse Robbert Robbert van Renesse Bridson Robert Robert Bridson Silve Robert Robert Silve Vanicat Rémi Rémi Vanicat Binsztok Henri Henri Binsztok Makela Sami Sami Makela Mimram Samuel Samuel Mimram Cotton Scott Scott Cotton McPeak Scott Scott McPeak Nettles Scott Scott Nettles Smith Scott Scott Smith Wagner Shawn Shawn Wagner Chandrasekaran Shivkumar Shivkumar Chandrasekaran Peyton Jones Simon Simon Peyton Jones Oh SooHyoung SooHyoung Oh Bosse Stefan Stefan Bosse Kral Stefan Stefan Kral Zacchiroli Stefano Stefano Zacchiroli Conchon Sylvain Sylvain Conchon Briais Sébastien Sébastien Briais Bond T. Kurt T. Kurt Bond Baruchel Thomas Thomas Baruchel Genet Thomas Thomas Genet Hardin Thérèse Thérèse Hardin Clark Tim Tim Clark Hawkins Tom Tom Hawkins Bemann Travis Travis Bemann Jim Trevor Trevor Jim Viet Triem Tong Valérie Valérie Viet Triem Tong Karpov (Malc) Vassili Vassili Karpov (Malc) Gulias Victor M. Victor M. Gulias Lugovsky Vitaly Vitaly Lugovsky Cortier Véronique Véronique Cortier Taha Walid Walid Taha Weimer Westley Westley Weimer Chesters William William Chesters Neumann William D. William D. Neumann Choi Woongsik Woongsik Choi Yoriyuki Yamagata Yamagata Yoriyuki Minsky Yaron M. Yaron M. Minsky Oiwa Yukata Yukata Oiwa Rashkovskii Yurii A. Yurii A. Rashkovskii Sorel Yves Yves Sorel [b8]bavard [b8]bavard malc malc Lovas William William Lovas Gunden Owen Owen Gunden Skaller John John Skaller Le Gall Sylvain Sylvain Le Gall Redon Xavier Xavier Redon Goerzen John John Goerzen Young Alicia Alicia Young Pfitzenmaier Jürgen Jürgen Pfitzenmaier Hale John John Hale Gorski Christopher A. Christopher A. Gorski Guardiani Jesse Jesse Guardiani Pelzl Paul Paul Pelzl Formiga Andrei Andrei Formiga Doligez Damien Damien Doligez Pérès Olivier Olivier Pérès Rouquier Jean-Baptiste Jean-Baptiste Rouquier Pickett Neale Neale Pickett Belmonte Gina Gina Belmonte Arantsson Bardur Bardur Arantsson Roessler Robert Robert Roessler Henry Grégoire Grégoire Henry Sanisalo Jere Jere Sanisalo Montelatici Raphael Raphael Montelatici Ciancia Vincenzo Vincenzo Ciancia Sozeau Matthieu Matthieu Sozeau Charguéraud Arthur Arthur Charguéraud Baelde David David Baelde Ross Russ Russ Ross Sumii Eijiro Eijiro Sumii Harrop Jon Jon Harrop Boulnois Julien Julien Boulnois Bandel Oliver Oliver Bandel Grigore Radu Radu Grigore Narboux Julien Julien Narboux Clarkson Jamie Jamie Clarkson Hamburg Mike Mike Hamburg Roewen Jonathan Jonathan Roewen Furr Michael Michael Furr Meunier Pierre-Etienne Pierre-Etienne Meunier Guichard Damien Damien Guichard Strub Pierre-Yves Pierre-Yves Strub Bobillot Damien Damien Bobillot Tse Stephen Stephen Tse Szegedy Christian Christian Szegedy Argentoff Paul Paul Argentoff Colucci Maurizio Maurizio Colucci Narbel Philippe Philippe Narbel Trott Oleg Oleg Trott Monnier Florent Florent Monnier Régis-Gianas Yann Yann Régis-Gianas Japheth Japheth Geopoul Geopoul Séjourné Kevin Kevin Séjourné De Fraine Bruno Bruno De Fraine Pernici Mario Mario Pernici Minamide Yasuhiko Yasuhiko Minamide Varoquaux Till Till Varoquaux Ramamurthy Ramu Ramu Ramamurthy Kiselyov Oleg Oleg Kiselyov Shan Chung-chieh Chung-chieh Shan Sabry Amr Amr Sabry Sewell Peter Peter Sewell Billings John John Billings Strniša Rok Rok Strniša Boulytchev Dmitri Dmitri Boulytchev Washburn Geoffrey Alan Geoffrey Alan Washburn Ferré Sébastien Sébastien Ferré Hellsten Janne Janne Hellsten Carette Jacques Jacques Carette van Dijk Lydia E. Lydia E. van Dijk Wahab Matthew Matthew Wahab Mauny Michel Michel Mauny Cénac Peggy Peggy Cénac Oti Elliot Elliot Oti Hugot Frédéric Frédéric Hugot Breck Eric Eric Breck Onzon Emmanuel Emmanuel Onzon Danelutto Marco Marco Danelutto Li Zheng Zheng Li Pelagatti Susanna Susanna Pelagatti Miller Dale Dale Miller Gacek Andrew Andrew Gacek Nadathur Gopalan Gopalan Nadathur Tiu Alwen Alwen Tiu Aleynikov Serge Serge Aleynikov Lampe Stefan Stefan Lampe Hanquez Vincent Vincent Hanquez Gimenez Stéphane Stéphane Gimenez Cristau Julien Julien Cristau Richard Gaétan Gaétan Richard Burel Gauillaume Gauillaume Burel Illouz Mika Mika Illouz Balat Vincent Vincent Balat de Castro Lopo Erik Erik de Castro Lopo Zappa Nardelli Francesco Francesco Zappa Nardelli Snow Jim Jim Snow Little Stevan Stevan Little Leypold Markus E. Markus E. Leypold Turpin Tiphaine Tiphaine Turpin Bunzli Daniel Daniel Bunzli Clément François François Clément Simon Andre Andre Simon Conway Christopher Christopher Conway Whitington John John Whitington Blanqui Frédéric Frédéric Blanqui Dieul Emmanuel Emmanuel Dieul Reymond Joël Joël Reymond Barbosa de Souza Filho João João Barbosa de Souza Filho Yallop Jeremy Jeremy Yallop Olson Grant Grant Olson Benjamin Dave Dave Benjamin Bros Nicolas Nicolas Bros de Alfaro Luca Luca de Alfaro Bueno Denis Denis Bueno Preliteiro Manuel Manuel Preliteiro Schneck Robert Robert Schneck Nathan Andre Andre Nathan Machado Michel Michel Machado Teixeira Dario Dario Teixeira Clerc Xavier Xavier Clerc Aravantinos Vincent Vincent Aravantinos de Moura Leonardo Leonardo de Moura Bjorner Nikolaj Nikolaj Bjorner Saiu Luca Luca Saiu Loddo Jean-Vincent Jean-Vincent Loddo Peskine Gilles Gilles Peskine Ridge Tom Tom Ridge Owens Scott Scott Owens Fangohr Hans Hans Fangohr Fischbacher Thomas Thomas Fischbacher Carty Hezekiah M. Hezekiah M. Carty Grebeniuk Dimitry Dimitry Grebeniuk Marchant Fabrice Fabrice Marchant Armelin Yann Yann Armelin Prevosto Virgile Virgile Prevosto Nanavati Sharvil Sharvil Nanavati Beauxis Romain Romain Beauxis Schein Andrew I. Andrew I. Schein Jane Street Capital Jane Street Capital Cuoq Pascal Pascal Cuoq Donham Jake Jake Donham Padioleau Yoann Yoann Padioleau Ogasawara Satoshi Satoshi Ogasawara Fernandez Mauricio Mauricio Fernandez Bluestorm Bluestorm Dagand Pierre-Evariste Pierre-Evariste Dagand Kostic Dejan Dejan Kostic Kuncak Viktor Viktor Kuncak Hubert Laurent Laurent Hubert Teller David David Teller Jorgensen Mikkel Fahnoe Mikkel Fahnoe Jorgensen Rubinsteyn Alex Alex Rubinsteyn Bardou Romain Romain Bardou Kanig Johannes Johannes Kanig Lescuyer Stéphane Stéphane Lescuyer Dimino Jérémie Jérémie Dimino Canou Benjamin Benjamin Canou Maslowski Dany Dany Maslowski De Pril Julie Julie De Pril Govender Sashan Sashan Govender Heikkinen Ilmari Ilmari Heikkinen Arnu Jean-Christophe Jean-Christophe Arnu Pajarskas Tautrimas Tautrimas Pajarskas Foster Jeff Jeff Foster An David Jong-hoon David Jong-hoon An Hennequin Guillaume Guillaume Hennequin Sulikowski Marcin Marcin Sulikowski Madhavapeddy Anil Anil Madhavapeddy Hague Matthew Matthew Hague Boguszewski Pawe&#322; Pawe&#322; Boguszewski Robert Julien Julien Robert Von Tokarski Guillaume Guillaume Von Tokarski Vouillon Jérôme Jérôme Vouillon Nader Adrien Adrien Nader Gazagnaire Thomas Thomas Gazagnaire Connan Guillaume Guillaume Connan Yziquel Guillaume Guillaume Yziquel Tovagliari Francesco Francesco Tovagliari Friendly Edgar Edgar Friendly Verlaguet Julien Julien Verlaguet Mondet Sébastien Sébastien Mondet Rohrer