"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.\r\n\r\nThey 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\r\n" . "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.\r\n\r\nThe 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.\r\n" . "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.\r\nSince 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.\r\n" . . "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.\r\n\r\nWhy 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.\r\n\r\nSecondly, 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\u00E9paratoires aux grandes \u00E9coles\"." . . "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.\r\nIt enables easy creation, compilation and errors corrections of OCaml projects\r\nunder Visual Studio.\r\n" . . "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\r\nprint the type of an highlighted (visual mode) part of an ocaml source\r\nfile." . . "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 \u0093script\u0094 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\u00E9es" . "Lecture notes about data structure in Objective Caml (in French)." . . "Cours algorithmes et structures de donn\u00E9es" . "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.\n" . . "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\r\nsimilarities 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.\r\nIt 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.\r\n\r\nThe 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.\r\nImplementation 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\u00E8me en OCaml" . "Un cours d'introduction \u00E0 la programmation du syst\u00E8me Unix, mettant l'accent sur la communication entre les processus." . . "Programmation syst\u00E8me 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\u00E9 de Programmation Fonctionnelle" . "Cours de programmation fonctionnelle, illustr\u00E9 par OCaml (in french)." . . "Polycopi\u00E9 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.\r\nIt 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.\r\n\r\nThe 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 (\u00E0 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. \r\n" . "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.\r\n\r\nUsing CamlBZ2 you can read and write compressed \"files\", where files can be anything offering an in_channel/out_channel abstraction (files, sockets, ...).\r\n\r\nAlso, 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.\r\n\r\nIt 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\r\nSubroutines) and LAPACK-library (Linear Algebra routines), which are\r\nwritten 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\r\nalgorithms, 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.\r\nThe 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\r\nrepresentation to proper written forms. Mana models Japanese language\r\nas a HMM (Hidden Markovian Model), and its output is quite natural\r\neven for a long sentence. In addition to Japanese, mana can be used\r\nfor 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\r\non 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\r\nmaking the software needed to start the democratic experience\r\nproject. The democratic experience is a large scale project of direct\r\ndemocracy. It aims at providing the tools to facilitate the expression\r\nof all citizens, to transform this expression into decisions, and to\r\napply 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\r\nprograms and systems. It provides a purely functional language to formally\r\nexpress specifications, describe the design and code the algorithms. Within\r\nthe functional language, FoCaLize provides a logical framework to express the\r\nproperties of the code. A simple declarative language provides the natural\r\nexpression 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\r\nregexp 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\r\nallows the access to both Yices APIs (full and light), unsatisfiable\r\ncores, bit vectors, and more experimental features (interrupting,\r\nswitching 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, \r\nuser defined, etc.) into a file and load them. The configuration file is human \r\nreadable, 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.\r\nLibusb 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.\r\n" . "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.\r\nThe libevent API provides a mechanism to execute a callback function \r\nwhen a specific event occurs on a file descriptor or after a timeout has \r\nbeen reached. Furthermore, libevent also support callbacks due to \r\nsignals 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.\r\n" . "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.\r\n" . "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 \r\nwithout 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\r\nlanguage with explicit support for programming using\r\nan Object-Oriented Reference Attributed Grammar (RAG)\r\nformalism." . "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\r\nlibcurl 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\r\nin programming at all. Anyone aged over 12 should be able\r\nto complete the course on his own, and thus learn the fundamentals\r\nof programming. For the time being, it is only available in french,\r\nbut it will be translated into english later on.\r\n" . . "Interactive course on OCaml (french)" . "Tywith" . "Tywith is an OCaml camlp4 parser extension which\r\nderives functions from type definitions. It's\r\ncurrently capable of generating 'string_of_',\r\n'map_', and 'fold_' functions for alias\r\nand variant types containing tuples and other types\r\nwith the appropriate functions defined. Tywith\r\nspecial-cases built-in types such as list, int, and\r\nstring 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\r\nsubset to the SPARC assembly language." . . "Min-caml" . "2D maze generator" . "A little OCaml program to generate random 2D \r\nmazes, render them using OpenGL and generate PostScript output." . . "2D maze generator" . "Pocengine" . "A game engine to help creating more games more easily.\r\nThe 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\u00E9sentation d'OCaml, ses points forts, ses domaines de pr\u00E9dilection, ..." . . "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.\r\n" . "0.3.3" . . "OCaml-gettext" . "DrGeocaml" . "A dynamic geometry software using the Gtk toolkit. Large use of the \r\nDrawingArea 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\".\r\n\r\nIt takes filenames, maps each char of the filename into a char, representing\r\nthe charclass of it (a..z and A..Z -> \"l\" (letter), 0...9 -> \"d\" (digit\" and so on).\r\n\r\nThis yields to an easy way of sorting files by names, based upon file-naming\r\nwith certain filenaming-conventions.\r\n" . "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 \r\nimplements a variety of spectral BSDFs and several rendering algorithms \r\nincluding distribution ray tracing, path tracing and 'Instant Global \r\nIllumination'. It can render reasonably high polygon meshes and exclusively \r\nuses area light sources (currently only spheres)." . "0.2" . . "OPath" . "Indexy" . "A web-indexing script using FastCGI \r\nand OCaml. The script supports file icons, thumbnailing with \r\nImageMagick, piles, multiple icon sizes, multiple sorts, and cookies \r\nfor 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.\r\n\r\nThe 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.\r\n\r\nThis 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\r\n(http://www.cduce.org/) to parse WSDL + XML Schema interface\r\ndescriptions, 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.\r\nThis 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.\r\n\r\n" . "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\r\napplication. The display features a scrollable day calendar suitable for\r\nvisualizing your schedule at a glance. Wyrd integrates with an external\r\neditor of your choice to make manual editing of reminder files more\r\nefficient. Other features include significant configurability and\r\nMutt-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.\r\n\r\nUsing LablGtkSourceView you can instantiate and use GtkSourceView widgets in OCaml programs which use GTK through the LablGtk interface.\r\n" . "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 \r\n- 7.0.\r\n\r\nWith an emphasis on simplicity and ease of use, LablPCRE offers a \r\nsmall-footprint interface: four functions and a handful of public \r\nmethods 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\r\ndeconstruct 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\r\nits virtual machine. The compiler is written in OCaml and the VM in C. It\r\nmight be interesting for people involved in language design, since Neko is\r\nproviding 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 \r\ncreate dynamic Web sites using Objective Caml. Its goal is to offer an \r\nalternative to Apache/PHP, based on cutting-edge technologies coming from \r\nresearch 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. \r\n Given a functional hardware description, HDCaml will produce a Verilog \r\nnetlist for verification and implementation.\r\n\r\nHDCaml 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\r\nlanguage OCaml. Currently the compiler can parse and pretty-print\r\nalmost all of JDK 1.4.2 and JDK 1.5.0 files (including generics,\r\nwildcards, annotations, enumerations, static imports, for-each loops\r\nand variable arity arguments). A full compiler (with type inference,\r\ncapture 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.\r\n\r\nOnly 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\r\nlogging 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:\r\n you can give it a scheme of formulas such as \"/\\i=1..n \r\nP_i -> P_i+1\" (where n is a variable)\r\n and it will be able to answer you if *all the formulas \r\nof this form (i.e. for every value of n) are unsatisfiable*, i.e. it can treat at once an infinite set of \r\npropositional 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 \r\nrenderer. 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\u00E9n\u00E9rique et objet" . "Une introduction avec le langage OCaml. Les programmes d'exemple sont \u00E0 l'adresse suivante: http://dept-info.labri.u-bordeaux.fr/~narbel/PFGO/index_sources.html\r\n" . . "Programmation fonctionnelle, g\u00E9n\u00E9rique 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\r\nMicrosoft 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.\r\n\r\n" . . "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\r\nOCaml, conveniently named 'Octal'. It is built on top of Camlp4 and Xml-Light.\r\nThe purpose of TAL is to have a template that is a valid XML or HTML document\r\nthat already renders like the resulting document." . . "Octal" . "Zenon" . "Zenon is an automatic theorem prover written in OCaml.\r\nZenon handles first-order logic with equality. Its most important feature is\r\nthat 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.\r\nBuckets are ordered and the first element of a bucket is kept in a \r\nseparate array, with occupation controlled by a bitvector.\r\n" . . "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\r\nin an xml files (and vice-versa) \u00E0 la php (but with the nice cduce\r\ntype checking). It supports namespaces, automatic dtd downloading\r\netc..." . "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\r\nthe 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\r\nthe top-level is now available anywhere in the program -- in bytecode-\r\nor natively compiled programs. Generic printing is a (perhaps\r\nunintentional) `side-effect' of MetaOCaml -- of the fact that a code\r\nvalue is not merely AST; the code value also captures the type and the\r\ntype environment of variables and other values. Generic printing is a\r\nlibrary that works with the unmodified MetaOCaml (which is _fully_\r\ncompatible 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.\r\n\r\nAdditionally 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 \r\nannotation for that position in main.annot. It is trivial to hook this \r\nto a key in Vim, and probably most other editors." . . "annot" . "Monitor" . "This tool allows you to monitor one or more web sites (or other\r\nresources) by regularly doing tests on them. A test consists of\r\ngrepping a resource (an HTML page fetched by URL, or the output of an\r\narbitrary command) using a boolean combination of Perl-compatible\r\nregular expressions. On failure, a mail is sent to a list of admins.\r\n\r\nIncludes a Debian package and a flexible configuration file syntax." . "0.3" . . "Monitor" . "Ocaml Link Grammar" . "OCaml interface to Link Grammar. \r\nThis package contains the OCaml interface to Link Grammar. It enables Ocaml\r\napplications 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,\r\nwhich lets the exception raising form return a value and so the\r\ncomputation may continue. It's the exception handler that decides\r\neither to abort the exceptional computation or to resume it with a\r\nparticular value. We show a conservative and elementary implementation of resumable\r\nexceptions in OCaml: the implementation is a self-contained 100% pure\r\nOCaml library." . . "Resumable exceptions in plain OCaml" . "Type safe unmarshalling functions" . "A patch for Objective Caml that provides\r\ntype 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.\r\n" . . "Sentence Segmenter" . "MyCGR" . "This software implements the researches of the thesis of Peggy C\u00E9nac. 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).\r\n" . "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 \r\nname, and produces TAP output (http://en.wikipedia.org/wiki/Test_Anything_Protocol) which can be read and analyzed by a wide \r\nrange of existing Perl tools. The goal of this framework is to make \r\nwriting unit tests as simple and as easy as possible (hence the \r\nname)." . "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.\r\n\r\nAn 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,\r\nin the style of \"picklers\" which can then be used with various backends\r\nto safely load and save data. Currently available backends include :\r\nhuman readable ASCII, binary and compressed binary. A type-independent\r\ncommand can convert between different representations. The\r\nrepresentation for records and sum types is upwards compatible. Note\r\nthat 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.\r\n\r\nThe 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.\r\n\r\n" . "2.03" . . "OCamlP3L" . "Bedwyr" . "Bedwyr is an extended logic programming language that allows\r\nmodel-checking directly on syntactic expressions possibly containing\r\nbindings.\r\n\r\nWe believe that it's an interesting tool for computer scientists, as\r\nit allows simple reasoning on declarative specifications, with several\r\ngood examples, notably bisimulation checking for the pi-calculus.\r\nOther 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, \r\nwhich 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\r\nfunction, and maybe segfault lurking), and the library is quite big so\r\nnot everything is wrapped.\r\nHowever it should works for basic use, and the test program should be\r\nenough to get to know how to use it." . "0.01" . . "OCaml-dbus" . "Memcheck" . "A module for runtime type checking in Ocaml.\r\nMemcheck 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\r\nSafeUnmarshal." . . "Memcheck" . "libsndfile-ocaml" . "Bindings to the libsndfile C library." . . "libsndfile-ocaml" . "Ott" . "tool for\r\nsemantic definitions of programming languages and calculi.\r\n\r\nThe tool takes as input a definition of a language syntax and semantic\r\nrelations, in a concise and readable ASCII notation that is close to\r\nwhat one would write in informal mathematics. It builds parsers for\r\nsymbolic and concrete terms of the language, generates LaTeX to build\r\na typeset version of the definition, and generates Coq, HOL, and\r\nIsabelle 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.\r\nBy 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\r\nfilesystems in linux with cryptsetup and loopback devices and enable\r\nusers (not only root) to mount encrypted filesystems when appropriate\r\nentries 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 \r\nat making XML processing robust and painless. The streaming interface \r\ncan process documents without building an in-memory representation. It \r\nlets the programmer translate its data structures to XML documents and \r\nvice-versa. Functions are provided to easily transform arborescent \r\ndata structures to/from XML documents." . "1.0.2" . . "xmlm" . "Lego Mindstorm Library" . "LEGO Mindstorm\u00AE 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.\r\n\r\nThis library allows you to communicate with \u0097 and drive \u0097 your NXT brick from OCaml programs through a bluetooth connection. The full LEGO\u00AE 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)\r\nlibrary for OCaml. It's mainly inspired by the STM library of Haskell, with\r\nsome exceptions due to the different nature of languages and different\r\nstrategies of implementation." . "0.0.1" . . "STMlib" . "Enhtop" . "This is an experimental patch (we also provide pre-built testing executable and\r\nDebian package) for an enhanced OCaml toplevel with additional features.\r\nFor any kind of bindings (i.e. value, type, module, class etc.):\r\nIdentifiers 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.\r\n" . "3.11.0" . . "Enhtop" . "namealign" . "The program namealign renames files in a way that they are equally formatted.\r\n\r\nIt 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\r\ncoloured 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\r\nand 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.\r\n\r\nIt'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.\r\nnewfaction 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.\r\nFor 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 \r\nin 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\r\narrays. 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).\r\nThis 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.\r\nIt is the continuation of the classical Camlp4 with new features.\r\nIt is compatible with OCaml versions from 3.08.1 to 3.11 included." . "6.00" . . "Camlp5" . "Barista" . "Library for Java .class file manipulation.\r\nAlso 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.).\r\n\r\n" . "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.\r\nSupport is also provided for integrating the virtual network with the physical host network.\r\n\r\nAs 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\r\n(PEG) or \"packrat\" approach. It takes a grammar in a BNF-like notation\r\n(a .peg file) and produces bytecode (a .nog file) for a stack automaton.\r\nThis bytecode is later interpreted on the input to parse using a C\r\nlibrary. Bindings are given for Ocaml and Java. Aurochs can also\r\ndirectly produce C or Ocaml code for parsing. It is in use\r\nat 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\r\ncombines a wiki, a to-do list and a simple scheduler to help you get\r\norganized. It aims to ease note taking and action planning. Actions\r\n(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,\r\na library to create Flash animations." . "0.01a" . . "OCaml-Ming" . "glMLite" . "\r\nThis 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.\r\n\r\nSome test files are provided, and also some of the demonstration code samples from the red-book converted in OCaml.\r\n" . "0.03.17" . . "glMLite" . "OCaml-Allegro" . "This is an OCaml binding for Allegro.\r\nAllegro 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" . "\r\n\r\nThe 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.\r\n\r\nSome 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\r\n\r\nThe targetted user is an intermediate level developer, at ease with all of OCaml constructs (including modules, classes, labels) and with Cocoa programming.\r\n" . . "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 \r\ndocuments using OCaml. This combines the typesetting power of LaTeX with \r\nthe programming power of OCaml. It can be combined with Mlpost to \r\ninclude figures." . "1.1.0" . . "Melt" . "/UbiEst/" . "/UbiEst/ is intended to be a indexer, allowing *structural* and \r\n*compound* searches into a \"bunch\" of documents (files). What is an \r\nindexer ? An indexer is a program recording the occurrences of words \r\namong documents and enable to point on them (quickly if possible). A \r\ndetailled explanation is available in the distribution, but in two or \r\nthree words...\r\n\r\n By *structural* indexing, we mean that /UbiEst/ not only maps words\r\n onto their locations, but also structures of the indexed documents.\r\n\r\n By *compound* indexing, we mean that /UbiEst/ does not allow to\r\n request to find occurrences of simple words among the indexed\r\n document. requests can be combined by the mean of operators. By\r\n combining requests, you not only get simple occurrences of words,\r\n but rather /extends/ (i.e. piece of text) containing information\r\n fitting you global request.\r\n\r\n/UbiEst/ is developped in Objective Caml and a \r\ngraphical user interface based on Gtk (Lablgtk) is available." . "1.5" . . "/UbiEst/" . "CamlX" . "CamlX is a Wrapper for the OCaml (or Caml Ligth) toplevel environment.\r\n\r\nCamlX 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 \u0093Object-Relational Mapper\u0094 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 \r\nOCaml 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).\r\nThis is a set of bindings for calling newt from OCaml programs." . "0.1" . . "OCaml-newt" . "FunLife" . "The Game of Life.\r\nFeatures : 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.\r\n" . . "N-edged undirected graphs" . "ocaml-duppy" . "An advanced scheduler. The basics of this scheduler is to implement a wrapper around Unix.select in \r\norder to be able to wait for events on a socket and/or a given delay and \r\nexecute a task when one of the waited events occured.\r\n" . "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.\r\n\r\nThe 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.\r\n\r\n(This project was formerly known as \"bitmatch\").\r\n\r\nYou can use this module to both parse and generate binary formats, files and protocols.\r\n\r\nBitstring 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 \r\nbetween python and OCaml, together with a little proof-of-concept \r\ninterface to WxPython, as a first step towards a better GUI tool for \r\nOCaml." . "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.\r\n" . "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\r\n 2D video games. It is intended to be fast, numerically\r\n 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).\r\n" . . "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.\r\n\r\nIt comes with the Ouglib library to be able to embed the analyzer in other OCaml applications.\r\n\r\nFrom 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\r\n(the EDSL translates directly to Xmlm) using quotations. It also allows\r\nyou 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 \r\nidentifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 \r\n(random based) according to RFC 4122.\r\n\r\nUuidm is made of a single, independent, module and distributed under \r\nthe new BSD license." . "0.9.0" . . "Uuidm" . "Ooauth" . "an implementation of the OAuth\r\n1.0 protocol for OCaml, as well as an OCaml binding to Skydeck web API\r\n(providing access to your cell phone call log)." . "0.1" . . "Ooauth" . "Logic File System" . "LFS is a very expressive file system coded in OCaml.\r\nLFS enables the user to access his files through an\r\nadditionnal mountpoint, /lfs, where powerful logic queries can be\r\nissued and navigation can be done through different dimensions, like\r\ndate, 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 \r\nto make it easy to produce pretty-printed text.\r\nThe data to be printed goes through a tree that carries all the \r\ninformation required for pretty-printing. After that, a single call to \r\nEasy_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).\r\n\r\nMicmatch 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.\r\nThe 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\r\n\"where\" keyword, available in the revised syntax, and one of the\r\ntruly 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\r\nclients / servers for use with Ocamlnet's ONC RPC implementation (like\r\nocamlrpcgen), and also for RPC over HTTP for use with ocamljs. To\r\ndescribe interfaces, you give orpc an OCaml signature instead of an\r\nRFC-1831/1832-format file. Most OCaml types (including polymorphic\r\ntypes), exceptions, and functions with labelled/optional arguments are\r\nsupported." . "0.3" . . "Orpc" . "OCaml Batteries Included" . "Batteries Included is a candidate standard\r\ndevelopment platform for OCaml." . "1.4.0" . . "OCaml Batteries Included" . "OCamlspotter" . "A small compiler patch which extends\r\n-annot option and records all the variable definition locations, so\r\nthat we can jump from variable uses to their definitions easily from\r\neditors such as emacs." . "1.3.0" . . "OCamlspotter" . "csml" . "A system \r\nto interface OCaml and .Net/C#. CSML makes it possible to leverage \r\nexisting .Net components from OCaml, to expose OCaml libraries into the \r\n.Net world and more generally to write mixed OCaml/.Net applications.\r\n\r\nWith CSML, developers write scripts that describe interactions between \r\nthe two worlds (OCaml and .Net). It is possible to bind functions, \r\nstatic or instance methods, properties, to pass opaque pointers from one \r\nheap to the other, or to copy values structurally. CSML preserves type \r\nsafety properties from the two worlds, it propagates exceptions and \r\nfirst-class functions in a sound way and it deals automatically with \r\nmemory 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.\r\nShared 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\r\nusing ocamlbuild only.\r\n\r\nVariant builds - can build many different variants from the same\r\nsource tree. For example static libraries, test builds, debug,\r\noptimization, linking or not linking with some other code, different\r\nplatform builds etc.\r\n\r\nAutomic recursive header file generation - needed for pulling source\r\ninto _build directory.\r\nIt used to be able to rebuild on header file change, but it has\r\nregressed - it is possible that .stamp files do not hold signatures of\r\ndependencies of dependencies or something.\r\n\r\nIt has not been tested on Windows, but build rules have been copied\r\nfrom 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.\r\nIt is implemented as an ocamlbuild plugin.\r\n\r\nIt checks out source code from repositories and starts builds of\r\nindividual components.\r\n\r\nBecause ocamlbuild doesn't support linking additional files, a lot of\r\ndifferent code is collected in a single file. This includes a JSON\r\nparser for configuration files.\r\n\r\nSymbiosis tries to avoid the problem of collecting all source\r\ndependencies in one large tree, or alternatively installing\r\ndependencies on the system. The former makes it difficult to change\r\ndependent component versions. The latter makes it difficult to quickly\r\ntest different build version complicates developer setup.\r\n\r\nCorrectly configured, just call ocamlbuild with a target for the top\r\nmost component to build. All the source should be appear in the\r\nworking directory and build.\r\nInitially it can be complex to set up, but once done, it is rather\r\neasy to add new components with interesting dependencies.\r\n" . "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\r\nmodule interface contains a single function, glob. This function takes a\r\nstring argument possibly containing shell wildcards, and returns an array\r\ncontaining the names of the file system entries matching it.\r\n" . "0.1.0" . . "ocaml-glob" . "Camlish" . "A simple module for shell scripting in OCaml. " . "0.03" . . "Camlish" . "Mlpost" . "An Ocaml\r\ninterface to MetaPost, a powerful software to draw pictures to be\r\nembedded in LaTeX documents." . "0.8.0" . . "Mlpost" . "Yacfe" . "Yet Another C/C++\r\nFront-End, which is an OCaml API to write style-preserving source-to-source\r\ntransformations such as refactorings on C or C++ source code.\r\n" . "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 \r\nJavaScript, designed to run in web browsers.\r\nIt features a runtime library compatible with OCaml's standard one \r\n(including OOP and concurrent threads) and bindings of some JavaScript \r\nfunctions to manipulate the DOM primitives." . "1.1" . . "O'Browser" . "Linux - Win32 cross compiler" . "A Linux -> Win32 OCaml cross-compiler, developed and sponsored\r\nby Red Hat's Fedora MinGW project[1]. Red Hat are sponsoring this\r\nproject so that we can build our OCaml virt tools for Windows without\r\nthe hassle of using Windows.\r\n" . . "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\r\nfindlib 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\r\n functional reactive programming (FRP). It\r\n provides support to program with time varying values : applicative\r\n events and signals. React doesn't define any primitive event or\r\n signal, this lets the client chooses the concrete timeline.\r\n \r\n\r\n \r\n\r\n" . "0.9.1" . . "React" . "Rtime" . "Rtime is an OCaml module implementing timelines for React [1]. It manages time stamp\r\nevents, delayed events and delayed signals along timelines. The client chooses the\r\nconcrete timeline by providing an absolute notion of time. Running the timeline at the\r\nappropriate pace is left to the client.\r\n" . "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.\r\n\r\nIn 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:\r\nO'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.\r\n\r\nlibguestfs 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.\r\n\r\nlibguestfs 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).\r\n\r\nlibguestfs 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\r\nfront-end, so the full language is supported (the object system is\r\npartially supported, should be fixed soon).\r\n\r\nIncluded are several libraries for Web programming, as well as a\r\nlibrary for working with Javascript via Camlp4. It works with orpc for\r\nRPC over HTTP, and with froc for functional reactive browser\r\nprogramming." . "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\r\ninterface is similar to FrTime and FlapJax, but (of course) typed,\r\nimplementing a monad of changeable values. The implementation is\r\ndata-driven, using the dynamic dependency graphs of Acar et al.'s\r\nadaptive functional programming.\r\n\r\nFroc can be used with ocamljs, and with the included Froc-dom library\r\ncan be used for web browser programming.\r\n" . "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. \r\nHydro (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.\r\n" . "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.\r\n\r\nHANSEI 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.\r\n\r\nInference 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.\r\n\r\n" . . "Hansei" . "Syncweb" . "Syncweb is a command line tool enabling programmers to use the\r\nliterate programming development methodology, using the noweb\r\ntool, while still being able to modify the generated files\r\nfrom the literate document. syncweb provides a way to\r\n\"synchronize\" the possibly modified original document with its\r\npossibly modified views with an interface similar to Unison. In\r\naddition, syncweb synchronizes data at a fine grained level by\r\ncomputing 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\r\ngraphics, 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.\r\nSince 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.\r\n\r\nThe 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\r\nscaffolds injection and projection functions to an from dynamicaly typed values (`dyn`),\r\nreifies ocaml type representation in run-time inspectable values (`dtd`),\r\nprovides camlp4 quotations/antiquotations to work with `dyn`s and `dtd`s.\r\n\r\nWhen the `pa_dyn` syntax is loaded it adds a new `type_conv` type processor that\r\ncan be called by appending `with dyn` after a type definition (e.g. `type t =\r\n... with dyn`) three values are defined:\r\n val t_of_dyn : Dyn.Data.t -> t,\r\n val dyn_of_t : t -> Dyn.Data.t,\r\n val dtd_of_t : Dyn.DTD.t" . "alpha01" . . "Dyn" . "Caml examples collection" . "The Caml Examples package is a large set of Caml example programs.\r\nMost of the programs are provided both in Objective Caml and in Caml Light.\r\n" . . "Caml examples collection" . "Cppo" . "Cppo is an equivalent of the C preprocessor targeted at the OCaml language and its variants.\r\n\r\nIts main purpose is to provide simple macro substitution (#define) and file inclusion (#include) for the occasional case when this is useful in OCaml.\r\n\r\nThe 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\r\nOCaml." . "0.9.4" . . "Gpr" . "OCaml-ofc" . "An OCaml interface for Open Flash Chart 2." . . "OCaml-ofc" . "Utilisation d'OCaml au lyc\u00E9e" . "Some notes about teaching OCaml at school." . . "Utilisation d'OCaml au lyc\u00E9e" . "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.\r\n\r\nIt 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 \r\nis inspired by JSON. It uses type-conv to create data dumper functions,\r\nyou just have to add \"with odn\" in the type definition. There is no\r\nload scheme, since it is used to dump datastructure into OCaml scripts.\r\nIt 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\r\nassociated object graph by either dumping them as S-expressions (with\r\nsharing and references), or by writing output in the DOT-language\r\nwhich can then be further processed by Graphviz\r\n(http://www.graphviz.org/).\r\n" . . "Caml-inspect" . "Pasta" . "Pasta is a cross-assembler for the MOS 6502 (also including 65C02 instructions), which\r\ncontains experimental support for automatic management of certain resources\r\n(namely, zero-page memory locations), provided that you are prepared to use a\r\nslightly restricted programming style.\r\n" . "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.\r\nThis package contains two applications:\r\nPlasmaFS 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\r\nclock_gettime(2) family of functions, to get precisions from below the\r\nmilliseconds upto the nanoseconds depending on the platform (system\r\nand CPU).\r\nIt lets you measure time from the real-time clock, monotonic clocks,\r\nor CPU-time clocks of the current process, of a remote process, or of\r\na 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.\r\n\r\nYou can match the question using a regular expression or a timeout.\r\n\r\nSee the Expect manual for more information:\r\nhttp://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\r\nnice fractal images. With some extra work, can produce videos. Can be\r\nhelped 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.\r\nThe 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 \u00E0 OCaml" . "This is an ocaml course with exercises, in french. Sources are available." . "20100129" . . "Introduction pratique \u00E0 OCaml" . "Berto" . "BERTO is an experimental ray tracer implemented in the Objective-Caml programming language. In this project \r\nemphasis 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.\r\nThe library is designed as an extension to Ocamlnet. " . "1.0" . . "Netamqp" . "mcmc-ocaml" . "A library for Markov-chain Monte Carlo \r\ncomputations 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.\r\n\r\nIt 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.\r\n" . "0.2.1" . . "FDinfo" . "ocaml-xgd-basedir" . "This library implements the xdg-basedir specification. It helps to define\r\nstandard locations for configuration, cache and data files in the user\r\ndirectory and on the system.\r\n\r\nIt is a straightforward implementation on UNIX platform and try to apply\r\nconsistent 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.\r\nIt implements the Disco worker protocol, and provides the plumbing to\r\nconnect user-specified computations to Disco data sources and results.\r\n" . . "ODisco" . "Dynamic contract checking for OCaml" . "A prototype that does dynamic contract checking\r\nfor OCaml code. The prototype is built upon the source code of \r\nocamlc-3.11.2." . . "Dynamic contract checking for OCaml" . "Mleternal" . "Incrementally rebuild OCaml programs as source code evolves\r\n" . "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).\r\n\r\nIt 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.\r\n" . "0.0.2" . . "ocaml-fastrandom" . "ocaml-archive" . "Bindings to libarchive, a C library for reading and writing tar, cpio, zip, ISO, and\r\nother 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\u0092s on all TeX/LaTeX user machines." . . "Texexpand" . "Parmap" . "Parmap is a minimalistic library allowing to exploit multicore architecture for\r\nOCaml programs with minimal modifications." . "0.9.8" . . "Parmap" . "Zarith" . "The Zarith library implements arithmetic and logical operations\r\nover arbitrary-precision integers. It uses GMP to efficiently\r\nimplement arithmetic over big integers. Small integers are\r\nrepresented 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\u00E2tre" . "Jean-Christophe" . . "Jean-Christophe Filli\u00E2tre" . "Weis" . "Pierre" . . "Pierre Weis" . "Furuse" . "Jun" . . "Jun Furuse" . "Schmitt" . "Alan" . . "Alan Schmitt" . "R\u00E9my" . "Didier" . . "Didier R\u00E9my" . "Le Botlan" . "Didier" . . "Didier Le Botlan" . "Di Cosmo" . "Roberto" . . "Roberto Di Cosmo" . "Miquel" . "Alexandre" . . "Alexandre Miquel" . "Ailleret" . "S\u00E9bastien" . . "S\u00E9bastien 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\u00E9rard" . . "G\u00E9rard Huet" . "Stolpmann" . "Gerd" . . "Gerd Stolpmann" . "POC Team" . . "POC Team" . "Stein" . "Lex" . . "Lex Stein" . "Marceau" . "Guillaume" . "Guillaume Marceau" . "March\u00E9" . "Claude" . . "Claude March\u00E9" . "Raffali" . "Christophe" . . "Christophe Raffali" . "Bannai" . "Hideo" . . "Hideo Bannai" . "Tamada" . "Yoshinori" . . "Yoshinori Tamada" . "Boulet" . "Pierre" . . "Pierre Boulet" . "Heard" . "Jeff" . "Jeff Heard" . "Loulergue" . "Fr\u00E9dric" . . "Fr\u00E9dric 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\u00EEt" . . "Beno\u00EEt 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\u00E7ois" . . "Fran\u00E7ois Pessaux" . "Pottier" . "Fran\u00E7ois" . . "Fran\u00E7ois Pottier" . "Rouaix" . "Fran\u00E7ois" . . "Fran\u00E7ois Rouaix" . "Thomasset" . "Fran\u00E7ois" . . "Fran\u00E7ois 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\u00E9" . "Hugues" . . "Hugues Cass\u00E9" . "Eo" . "Hyunjun" . . "Hyunjun Eo" . "Trotts" . "Issac" . . "Issac Trotts" . "P\u00E9rez Guardado" . "Jacobo" . "Jacobo P\u00E9rez Guardado" . "Garrigue" . "Jacques" . . "Jacques Garrigue" . "Woodyatt" . "James" . . "James Woodyatt" . "Hickey" . "Jason" . . "Jason Hickey" . "Monin" . "Jean-Fran\u00E7ois" . . "Jean-Fran\u00E7ois 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\u00EBl" . "Jo\u00EBl Falcou" . "Courant" . "Judicael" . . "Judicael Courant" . "Signoles" . "Julien" . . "Julien Signoles" . "Kim" . "Jungtaek" . . "Jungtaek Kim" . "Stellingwerff" . "Jurjen" . . "Jurjen Stellingwerff" . "Sim\u00E9on" . "J\u00E9r\u00F4me" . . "J\u00E9r\u00F4me Sim\u00E9on" . "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\u00E7ois" . "Nicolas" . . "Nicolas Fran\u00E7ois" . "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\u00E9mi" . "R\u00E9mi 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\u00E9bastien" . . "S\u00E9bastien Briais" . "Bond" . "T. Kurt" . "T. Kurt Bond" . "Baruchel" . "Thomas" . "Thomas Baruchel" . "Genet" . "Thomas" . . "Thomas Genet" . "Hardin" . "Th\u00E9r\u00E8se" . . "Th\u00E9r\u00E8se Hardin" . "Clark" . "Tim" . . "Tim Clark" . "Hawkins" . "Tom" . . "Tom Hawkins" . "Bemann" . "Travis" . . "Travis Bemann" . "Jim" . "Trevor" . . "Trevor Jim" . "Viet Triem Tong" . "Val\u00E9rie" . . "Val\u00E9rie Viet Triem Tong" . "Karpov (Malc)" . "Vassili" . . "Vassili Karpov (Malc)" . "Gulias" . "Victor M." . "Victor M. Gulias" . "Lugovsky" . "Vitaly" . . "Vitaly Lugovsky" . "Cortier" . "V\u00E9ronique" . . "V\u00E9ronique 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\u00FCrgen" . . "J\u00FCrgen 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\u00E9r\u00E8s" . "Olivier" . "Olivier P\u00E9r\u00E8s" . "Rouquier" . "Jean-Baptiste" . . "Jean-Baptiste Rouquier" . "Pickett" . "Neale" . . "Neale Pickett" . "Belmonte" . "Gina" . "Gina Belmonte" . "Arantsson" . "Bardur" . . "Bardur Arantsson" . "Roessler" . "Robert" . "Robert Roessler" . "Henry" . "Gr\u00E9goire" . . "Gr\u00E9goire Henry" . "Sanisalo" . "Jere" . . "Jere Sanisalo" . "Montelatici" . "Raphael" . . "Raphael Montelatici" . "Ciancia" . "Vincenzo" . "Vincenzo Ciancia" . "Sozeau" . "Matthieu" . . "Matthieu Sozeau" . "Chargu\u00E9raud" . "Arthur" . "Arthur Chargu\u00E9raud" . "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\u00E9gis-Gianas" . "Yann" . . "Yann R\u00E9gis-Gianas" . "Japheth" . "Japheth" . "Geopoul" . "Geopoul" . "S\u00E9journ\u00E9" . "Kevin" . . "Kevin S\u00E9journ\u00E9" . "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\u009Aa" . "Rok" . . "Rok Strni\u009Aa" . "Boulytchev" . "Dmitri" . "Dmitri Boulytchev" . "Washburn" . "Geoffrey Alan" . "Geoffrey Alan Washburn" . "Ferr\u00E9" . "S\u00E9bastien" . . "S\u00E9bastien Ferr\u00E9" . "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\u00E9nac" . "Peggy" . . "Peggy C\u00E9nac" . "Oti" . "Elliot" . . "Elliot Oti" . "Hugot" . "Fr\u00E9d\u00E9ric" . "Fr\u00E9d\u00E9ric 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\u00E9phane" . . "St\u00E9phane Gimenez" . "Cristau" . "Julien" . . "Julien Cristau" . "Richard" . "Ga\u00E9tan" . . "Ga\u00E9tan 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\u00E9ment" . "Fran\u00E7ois" . . "Fran\u00E7ois Cl\u00E9ment" . "Simon" . "Andre" . "Andre Simon" . "Conway" . "Christopher" . . "Christopher Conway" . "Whitington" . "John" . "John Whitington" . "Blanqui" . "Fr\u00E9d\u00E9ric" . . "Fr\u00E9d\u00E9ric Blanqui" . "Dieul" . "Emmanuel" . . "Emmanuel Dieul" . "Reymond" . "Jo\u00EBl" . "Jo\u00EBl Reymond" . "Barbosa de Souza Filho" . "Jo\u00E3o" . "Jo\u00E3o 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\u00E9phane" . . "St\u00E9phane Lescuyer" . "Dimino" . "J\u00E9r\u00E9mie" . "J\u00E9r\u00E9mie 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ł" . "Paweł Boguszewski" . "Robert" . "Julien" . . "Julien Robert" . "Von Tokarski" . "Guillaume" . "Guillaume Von Tokarski" . "Vouillon" . "J\u00E9r\u00F4me" . . "J\u00E9r\u00F4me 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\u00E9bastien" . . "S\u00E9bastien Mondet" . "Rohrer" . "Kaspar" . "Kaspar Rohrer" . "Brown" . "Julian" . . "Julian Brown" . "Focalize Team" . . "Focalize Team" . "Ozkural" . "Eray" . "Eray Ozkural" . "Wang" . "Philippe" . . "Philippe Wang" . "Vaugon" . "Benoit" . "Benoit Vaugon" . "Cuss" . "Arlen" . "Arlen Cuss" . "Le Normand" . "Jacques" . "Jacques Le Normand" . "Delahaye" . "Micka\u00EBl" . . "Micka\u00EBl Delahaye" . "Bern" . "Jeremy" . "Jeremy Bern" . "Frama-C Development team (CEA LIST and INRIA Saclay)" . "Frama-C Development team (CEA LIST and INRIA Saclay)" . "ygrek" . "ygrek" . "Meurer" . "Benedikt" . "Benedikt Meurer" . "Moniot" . "Thomas" . "Thomas Moniot" . "Pag\u00E8s" . "Jehan" . "Jehan Pag\u00E8s" . "Giese" . "Kai" . "Kai Giese" . "Gripon" . "Vincent" . . "Vincent Gripon" . "Farr" . "Will M." . "Will M. Farr" . "Bellier" . "Gregory" . "Gregory Bellier" . "Mundkur" . "Prashanth" . "Prashanth Mundkur" . "Xu" . "Dana N." . . "Dana N. Xu" . "Toton" . "Dawid" . "Dawid Toton" . "Hammond" . "Gaius" . "Gaius Hammond" . "Lavrik" . "Anton" . "Anton Lavrik" . "Barr\u00E9" . "Nicolas" . "Nicolas Barr\u00E9" . "Demange" . "Delphine" . . "Delphine Demange" . "Monfort" . "Vincent" . "Vincent Monfort" . "Pichardie" . "David" . . "David Pichardie" . "Legrand" . "St\u00E9phane" . "St\u00E9phane Legrand" . "Grognet" . "St\u00E9phane" . "St\u00E9phane Grognet" . "Has a documentation" . "Native OCaml libraries" . "MIT/X11" . "System" . "Others" . "CGI" . "Development tools" . "Build tools" . "Tutorials" . "Has a documentation" . "MIT/X11" . "Development tools" . "MIT/X11" . "Books" . "GPL" . "Has a tutorial" . "Scientific papers" . "Program analysis" . "LGPL" . "Development tools" . "Build tools" . "Major applications" . "LGPL" . "2D graphics" . "Has a documentation" . "Native OCaml libraries" . "Compilers" . "Strings manipulation" . "Scientific software" . "Has a documentation" . "Toys - Examples" . "Languages interfaces" . "Courses" . "Compilers" . "Major applications" . "Publishing" . "Has a documentation" . "Publishing" . "Bindings with C libraries" . "LGPL" . "Hardware" . "Has a documentation" . "Courses" . "Others" . "Development tools" . "GPL" . "Build tools" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Has a documentation" . "Has a documentation" . "Native OCaml libraries" . "Linguistics" . "Others" . "GPL" . "Build tools" . "MIT/X11" . "Camlp4 extensions" . "Others" . "2D graphics" . "Native OCaml libraries" . "GPL" . "Databases" . "File systems and system administration" . "Others" . "GPL" . "Publishing" . "Major applications" . "GPL" . "Publishing" . "Has a documentation" . "Native OCaml libraries" . "Has a documentation" . "Native OCaml libraries" . "Biology" . "Native OCaml libraries" . "Data structures" . "LGPL" . "Has a documentation" . "Others" . "Publishing" . "Has a documentation" . "Native OCaml libraries" . "Lexing and parsing" . "Native OCaml libraries" . "Has a documentation" . "Apache" . "Language extensions" . "Native OCaml libraries" . "Strings manipulation" . "Others" . "XML specific languages" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "XML protocols" . "Native OCaml libraries" . "GPL" . "LGPL" . "XML protocols" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Parsers and pretty-printers" . "Camlp4 extensions" . "Parsers and pretty-printers" . "Native OCaml libraries" . "Parsers and pretty-printers" . "Native OCaml libraries" . "GPL" . "Parsers and pretty-printers" . "Scientific software" . "XML specific languages" . "Has a documentation" . "Others" . "GPL" . "Servers and clients" . "Others" . "GPL" . "Servers and clients" . "Others" . "FTP" . "Has a documentation" . "Development tools" . "GPL" . "Development environments" . "Has a documentation" . "Scientific software" . "Native OCaml libraries" . "GPL" . "Program analysis" . "Others" . "Has a documentation" . "Has a documentation" . "Native OCaml libraries" . "Has a documentation" . "Data structures" . "Bindings with C libraries" . "LGPL" . "Has a documentation" . "Data structures" . "Camlp4 extensions" . "Native OCaml libraries" . "Courses" . "GPL" . "Servers and clients" . "CGI" . "Has a documentation" . "Has a tutorial" . "Software development" . "Development tools" . "Native OCaml libraries" . "Development tools" . "Editor modes" . "Typing" . "Development tools" . "Documentation generation" . "Publishing" . "Other/Proprietary License" . "Development tools" . "Development environments" . "Bindings with Fortran libraries" . "Numeric computation" . "Has a documentation" . "Has a tutorial" . "Development tools" . "GPL" . "Editor modes" . "Native OCaml libraries" . "Distributed and parallel programming" . "3D graphics" . "Bindings with C libraries" . "BSD" . "Major applications" . "Has a documentation" . "Code generators" . "Languages interfaces" . "Development tools" . "Native OCaml libraries" . "Bindings with C libraries" . "GPL" . "FTP" . "LGPL" . "2D graphics" . "File systems and system administration" . "Has a documentation" . "Native OCaml libraries" . "Development tools" . "Languages interfaces" . "LGPL" . "Lexing and parsing" . "Development tools" . "GPL" . "Editor modes" . "Camlp4 extensions" . "GPL" . "Language extensions" . "Data structures" . "GPL" . "Has a documentation" . "Servers and clients" . "Development tools" . "Development tools" . "Editor modes" . "Has a documentation" . "Publishing" . "Language extensions" . "Bindings with C libraries" . "LGPL" . "Graphical toolkits" . "Bindings with C libraries" . "Native OCaml libraries" . "Compression" . "Scientific software" . "LGPL" . "Native OCaml libraries" . "Internationalization" . "Has a documentation" . "Shell programming" . "File systems and system administration" . "RPC" . "Has a documentation" . "LGPL" . "Bindings with C libraries" . "Native OCaml libraries" . "GPL" . "Data structures" . "Has a documentation" . "Program analysis" . "Has a documentation" . "Scientific software" . "Compilers" . "XML specific languages" . "Scientific software" . "Native OCaml libraries" . "Toys - Examples" . "Parsers and pretty-printers" . "CGI" . "LGPL" . "Native OCaml libraries" . "Has a documentation" . "2D graphics" . "WWW/HTTP" . "Other/Proprietary License" . "Native OCaml libraries" . "Scientific software" . "Native OCaml libraries" . "Development tools" . "GPL" . "Languages interfaces" . "Science" . "Scientific software" . "Program analysis" . "Has a documentation" . "Data structures" . "Scientific software" . "Has a documentation" . "Maths and Logic" . "Camlp4 extensions" . "Native OCaml libraries" . "LGPL" . "Language extensions" . "Text interfaces" . "Development tools" . "Development tools" . "Development environments" . "Has a documentation" . "GPL" . "Editor modes" . "Compilers" . "GPL" . "Scientific software" . "Development tools" . "GPL" . "Courses" . "Editor modes" . "Development tools" . "Applications written in Caml" . "GPL" . "Languages interfaces" . "Has a documentation" . "Has a tutorial" . "Courses" . "MIT/X11" . "Native OCaml libraries" . "Numeric computation" . "Scientific software" . "Major applications" . "LGPL" . "Maths and Logic" . "Typing" . "Has a documentation" . "Has a tutorial" . "Courses" . "Data structures" . "Courses" . "Compilers" . "Toys - Examples" . "LGPL" . "Public Domain" . "Bindings with C libraries" . "Numeric computation" . "MIT/X11" . "Native OCaml libraries" . "Cryptography" . "Native OCaml libraries" . "Cryptography" . "Native OCaml libraries" . "LGPL" . "Has a documentation" . "Strings manipulation" . "Build tools" . "Development tools" . "Has a documentation" . "Development tools" . "Build tools" . "Major applications" . "Science" . "Has a documentation" . "Has a tutorial" . "Development tools" . "Code generators" . "Has a documentation" . "Others" . "Servers and clients" . "Scientific software" . "Biology" . "Native OCaml libraries" . "Development environments" . "Native OCaml libraries" . "Native OCaml libraries" . "Strings manipulation" . "Data structures" . "Major applications" . "GPL" . "Email" . "Has a documentation" . "Bindings with C libraries" . "Scientific software" . "3D graphics" . "GPL" . "Cryptography" . "Has a documentation" . "Toys - Examples" . "Public Domain" . "System files" . "Scientific software" . "Cryptography" . "Scientific software" . "Compilers" . "Native OCaml libraries" . "Distributed and parallel programming" . "Compilers" . "Languages interfaces" . "Native OCaml libraries" . "Parsers and pretty-printers" . "Toys - Examples" . "GPL" . "2D graphics" . "Bindings with C libraries" . "GPL" . "Graphical toolkits" . "Scientific software" . "Compilers" . "Public Domain" . "Has a documentation" . "Has a tutorial" . "Camlp4 extensions" . "Public Domain" . "Development tools" . "Documentation generation" . "Scientific software" . "Has a documentation" . "Typing" . "Ocamldoc generators" . "GPL" . "Documentation generation" . "Toys - Examples" . "GPL" . "Applications written in Caml" . "GPL" . "Scientific software" . "Compilers" . "Has a documentation" . "Development tools" . "Native OCaml libraries" . "Code generators" . "RPC" . "Others" . "RPC" . "XML protocols" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Camlp4 extensions" . "LGPL" . "QPL" . "Language extensions" . "Native OCaml libraries" . "LGPL" . "Strings manipulation" . "Has a documentation" . "Native OCaml libraries" . "Data structures" . "Bindings with C libraries" . "Languages interfaces" . "Has a documentation" . "Has a documentation" . "Parsers and pretty-printers" . "Native OCaml libraries" . "Native OCaml libraries" . "Data structures" . "Scientific software" . "GPL" . "Maths and Logic" . "Numeric computation" . "Has a documentation" . "Courses" . "System" . "Tutorials" . "Editor modes" . "Build tools" . "Bindings with C libraries" . "Databases" . "Native OCaml libraries" . "Data structures" . "Scientific software" . "GPL" . "Science" . "Has a documentation" . "Courses" . "Programming languages" . "Books" . "Programming languages" . "GFDL" . "Scientific software" . "Servers and clients" . "Has a documentation" . "Scientific software" . "Science" . "Scientific software" . "Compilers" . "Has a documentation" . "Scientific software" . "Maths and Logic" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Has a documentation" . "LGPL" . "Libraries" . "Languages interfaces" . "Toys - Examples" . "Games" . "Bindings with C libraries" . "LGPL" . "Strings manipulation" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Language extensions" . "Native OCaml libraries" . "Distributed and parallel programming" . "Has a documentation" . "Testing" . "CECILL-B" . "Development tools" . "(X)HTML" . "Camlp4 extensions" . "Camlp4 extensions" . "Language extensions" . "Others" . "Development environments" . "X" . "Development tools" . "Build tools" . "Has a documentation" . "Courses" . "Compilers" . "Compilers" . "Courses" . "Documentations" . "Native OCaml libraries" . "Communications and networking" . "Has a documentation" . "Other/Proprietary License" . "GPL" . "P2P" . "Audio" . "Has a documentation" . "Others" . "Has a documentation" . "Distributed and parallel programming" . "File systems and system administration" . "Has a documentation" . "LGPL" . "Native OCaml libraries" . "Exercices" . "Distributed and parallel programming" . "Native OCaml libraries" . "Native OCaml libraries" . "LGPL" . "General purpose libraries" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "General purpose libraries" . "Has a documentation" . "Scientific software" . "LGPL" . "Has a documentation" . "Constraint programming" . "Development tools" . "Languages interfaces" . "Numeric computation" . "Numeric computation" . "Has a documentation" . "Bindings with C libraries" . "Open Source" . "Bindings with C libraries" . "Build tools" . "Has a documentation" . "Has a tutorial" . "Program analysis" . "Typing" . "QPL" . "Scientific software" . "MIT/X11" . "Bindings with C libraries" . "MIT/X11" . "Has a documentation" . "Languages interfaces" . "Development tools" . "Development tools" . "zlib/libpng License" . "Testing" . "Has a documentation" . "QPL" . "Compilers" . "Scientific software" . "Bindings with C libraries" . "FTP" . "Native OCaml libraries" . "WWW/HTTP" . "XML" . "Databases" . "Has a documentation" . "Has a tutorial" . "Lucent Public License" . "Bindings with C libraries" . "LGPL" . "2D graphics" . "Bindings with C libraries" . "XML" . "GPL" . "Has a documentation" . "WWW/HTTP" . "GPL" . "GPL" . "Major applications" . "Maths and Logic" . "Others" . "Native OCaml libraries" . "Command line" . "Maths and Logic" . "Applications written in Caml" . "Has a documentation" . "3D graphics" . "LGPL" . "LGPL" . "XML" . "Bindings with C libraries" . "Others" . "GPL" . "Build tools" . "Development tools" . "GPL" . "Native OCaml libraries" . "Data structures" . "Native OCaml libraries" . "LGPL" . "Publishing" . "2D graphics" . "Has a documentation" . "Others" . "X" . "Bindings with C libraries" . "Data structures" . "Compression" . "Has a documentation" . "Software development" . "LGPL" . "Development tools" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Camlp4 extensions" . "Publishing" . "Has a documentation" . "Has a tutorial" . "Publishing" . "QPL" . "Major applications" . "Others" . "GPL" . "(X)HTML" . "Has a documentation" . "Scientific software" . "Public Domain" . "Maths and Logic" . "Has a documentation" . "Others" . "(X)HTML" . "Publishing" . "Has a documentation" . "2D graphics" . "Native OCaml libraries" . "Scientific software" . "Has a documentation" . "Has a tutorial" . "Maths and Logic" . "Numeric computation" . "Others" . "Communications and networking" . "Others" . "Camlp4 extensions" . "Language extensions" . "Courses" . "Courses" . "Books" . "Has a Godi package" . "Strings manipulation" . "Data structures" . "Camlp4 extensions" . "Code generators" . "XML" . "Lexing and parsing" . "LGPL" . "Chat" . "Native OCaml libraries" . "Scientific software" . "Communications and networking" . "Distributed and parallel programming" . "Has a documentation" . "QPL" . "Has a documentation" . "GPL" . "Development tools" . "Build tools" . "Native OCaml libraries" . "File systems and system administration" . "3D graphics" . "Bindings with C libraries" . "Bindings with C libraries" . "3D graphics" . "Bindings with C libraries" . "Graphical toolkits" . "Bindings with C libraries" . "Graphical toolkits" . "XML" . "Bindings with Fortran libraries" . "LGPL" . "Numeric computation" . "Tutorials" . "Others" . "GPL" . "LGPL" . "Communications and networking" . "Native OCaml libraries" . "General purpose libraries" . "GPL" . "Language extensions" . "Data structures" . "Camlp4 extensions" . "Others" . "GPL" . "Maths and Logic" . "Native OCaml libraries" . "GPL" . "Has a documentation" . "User interfaces" . "Native OCaml libraries" . "Numeric computation" . "Has a documentation" . "Native OCaml libraries" . "Email" . "Has a documentation" . "Others" . "GPL" . "Native OCaml libraries" . "Numeric computation" . "LGPL" . "Has a documentation" . "Others" . "2D graphics" . "Numeric computation" . "Has a documentation" . "Scientific software" . "Scientific software" . "Maths and Logic" . "Has a documentation" . "Has a tutorial" . "GPL" . "2D graphics" . "Publishing" . "LGPL" . "Native OCaml libraries" . "Has a documentation" . "Has a documentation" . "Documentation generation" . "Development tools" . "Major applications" . "Has a documentation" . "P2P" . "GPL" . "File systems and system administration" . "Bindings with C libraries" . "CGI" . "Web application" . "Linguistics" . "GPL" . "Scientific software" . "Bindings with C libraries" . "Development tools" . "Numeric computation" . "Native OCaml libraries" . "Publishing" . "2D graphics" . "Has a documentation" . "Bindings with C libraries" . "Communications and networking" . "LGPL" . "CGI" . "Has a documentation" . "Scientific software" . "Compilers" . "Toys - Examples" . "LGPL" . "Audio" . "Has a documentation" . "Native OCaml libraries" . "Has a documentation" . "Has a tutorial" . "Communications and networking" . "Scientific software" . "Development tools" . "Development environments" . "Native OCaml libraries" . "WWW/HTTP" . "Scientific software" . "Compilers" . "Has a documentation" . "Numeric computation" . "Bindings with C libraries" . "Bindings with C libraries" . "Scientific software" . "Compilers" . "Camlp4 extensions" . "Parsers and pretty-printers" . "Has a tutorial" . "Native OCaml libraries" . "Numeric computation" . "Development tools" . "Native OCaml libraries" . "Testing" . "Development tools" . "Editor modes" . "Bindings with C libraries" . "Graphical toolkits" . "Camlp4 extensions" . "Language extensions" . "Native OCaml libraries" . "LGPL" . "XML protocols" . "Native OCaml libraries" . "Maths and Logic" . "Native OCaml libraries" . "GPL" . "General purpose libraries" . "Others" . "Development environments" . "Scientific software" . "Compilers" . "Maths and Logic" . "Native OCaml libraries" . "QPL" . "Has a tutorial" . "Native OCaml libraries" . "Cryptography" . "Bindings with C libraries" . "Graphical toolkits" . "Others" . "GPL" . "WWW/HTTP" . "Camlp4 extensions" . "BSD" . "Strings manipulation" . "Has a tutorial" . "Others" . "Bindings with C libraries" . "Patch" . "Typing" . "Courses" . "Programming languages" . "Linguistics" . "Native OCaml libraries" . "Chat" . "Others" . "Games" . "Native OCaml libraries" . "LGPL" . "Strings manipulation" . "Others" . "Games" . "3D graphics" . "Native OCaml libraries" . "LGPL" . "System programming" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Development tools" . "CPL (Common Public License)" . "Development environments" . "Has a documentation" . "Development tools" . "GPL" . "Build tools" . "Has a documentation" . "Native OCaml libraries" . "GPL" . "Lexing and parsing" . "Applications written in Caml" . "GPL" . "Servers and clients" . "Has a documentation" . "Native OCaml libraries" . "Compilers" . "Tutorials" . "Graphical toolkits" . "Tutorials" . "Graphical toolkits" . "Bindings with C libraries" . "LGPL" . "Graphical toolkits" . "Bindings with C libraries" . "Graphical toolkits" . "Scientific software" . "Development tools" . "Programming languages" . "Maths and Logic" . "Native OCaml libraries" . "LGPL" . "Distributed and parallel programming" . "Has a tutorial" . "GPL" . "Lexing and parsing" . "TCP/IP" . "BSD" . "Native OCaml libraries" . "Native OCaml libraries" . "LGPL" . "Date and time" . "Others" . "File systems and system administration" . "Native OCaml libraries" . "Maths and Logic" . "2D graphics" . "Has a tutorial" . "Maths and Logic" . "BSD" . "Bindings with C libraries" . "Native OCaml libraries" . "Text interfaces" . "Others" . "Native OCaml libraries" . "TCP/IP" . "Native OCaml libraries" . "GPL" . "Lexing and parsing" . "GPL" . "Web application" . "GPL" . "Publishing" . "Bindings with C libraries" . "Hardware" . "Bindings with C libraries" . "Editor modes" . "Graphical toolkits" . "Others" . "Games" . "2D graphics" . "Development tools" . "Languages interfaces" . "Has a documentation" . "Scientific software" . "GPL" . "Programming languages" . "Has a documentation" . "Bindings with C libraries" . "BSD" . "Games" . "Audio" . "2D graphics" . "Bindings with C libraries" . "GPL" . "Corba/COM" . "Development tools" . "LGPL" . "Build tools" . "Has a documentation" . "Development tools" . "Documentation generation" . "Has a documentation" . "Compilers" . "Scientific software" . "Courses" . "Development tools" . "Editor modes" . "Native OCaml libraries" . "RPC" . "XML protocols" . "LGPL" . "LGPL" . "Native OCaml libraries" . "Testing" . "Native OCaml libraries" . "LGPL" . "CGI" . "Native OCaml libraries" . "General purpose libraries" . "Bindings with C libraries" . "System programming" . "Bindings with C libraries" . "Databases" . "Bindings with C libraries" . "GPL" . "Native OCaml libraries" . "Numeric computation" . "GPL" . "Servers and clients" . "Has a tutorial" . "Bindings with C libraries" . "GPL" . "Hardware" . "Bindings with C libraries" . "Audio" . "Development tools" . "Development environments" . "Bindings with C libraries" . "LGPL" . "Databases" . "Patch" . "Compilers" . "Native OCaml libraries" . "Lexing and parsing" . "Typing" . "Compilers" . "Development tools" . "Bindings with C libraries" . "Audio" . "Native OCaml libraries" . "XML protocols" . "Bindings with C libraries" . "MIT/X11" . "Databases" . "Bindings with C libraries" . "Cryptography" . "Native OCaml libraries" . "GPL" . "XML formats" . "Bindings with C libraries" . "Audio" . "Bindings with C libraries" . "LGPL" . "General purpose libraries" . "Graphical toolkits" . "Development tools" . "Editor modes" . "Native OCaml libraries" . "Strings manipulation" . "Bindings with C libraries" . "Databases" . "Development tools" . "Code generators" . "Has a documentation" . "Camlp4 extensions" . "Language extensions" . "Development tools" . "Build tools" . "Has a documentation" . "Native OCaml libraries" . "Databases" . "Native OCaml libraries" . "Databases" . "Bindings with PERL libraries" . "LGPL" . "Databases" . "Development tools" . "Has a documentation" . "Compilers" . "Scientific software" . "Maths and Logic" . "Games" . "Others" . "3D graphics" . "Development tools" . "Documentation generation" . "Development tools" . "Build tools" . "Tutorials" . "Programming languages" . "Development tools" . "Development environments" . "Development tools" . "Program analysis" . "Has a documentation" . "Bindings with C libraries" . "Parsers and pretty-printers" . "Bindings with C libraries" . "GPL" . "File systems and system administration" . "Bindings with C libraries" . "Internationalization" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Bindings with C libraries" . "Numeric computation" . "Scientific software" . "Compilers" . "Has a documentation" . "Tutorials" . "Lexing and parsing" . "Development tools" . "LGPL" . "Build tools" . "Has a documentation" . "Bindings with C libraries" . "Numeric computation" . "Maths and Logic" . "Bindings with C libraries" . "Distributed and parallel programming" . "Native OCaml libraries" . "zlib/libpng License" . "Servers and clients" . "Date and time" . "Email" . "TCP/IP" . "CGI" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Databases" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Maths and Logic" . "Bindings with C libraries" . "Distributed and parallel programming" . "Bindings with C libraries" . "LGPL" . "2D graphics" . "3D graphics" . "Audio" . "Bindings with C libraries" . "Distributed and parallel programming" . "Development tools" . "Documentation generation" . "LGPL" . "Development tools" . "Documentation generation" . "Has a documentation" . "Development tools" . "Development environments" . "Tutorials" . "Lexing and parsing" . "Build tools" . "Camlp4 extensions" . "LGPL" . "Language extensions" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Databases" . "Scientific software" . "Interpreters" . "Bindings with C libraries" . "MIT/X11" . "Communications and networking" . "Development tools" . "Build tools" . "Ocamldoc generators" . "LGPL" . "Documentation generation" . "Ocamldoc generators" . "LGPL" . "Documentation generation" . "Ocamldoc generators" . "LGPL" . "Documentation generation" . "Native OCaml libraries" . "Data structures" . "Native OCaml libraries" . "Data structures" . "Scientific software" . "Maths and Logic" . "Courses" . "Others" . "Programming languages" . "Camlp4 extensions" . "Language extensions" . "Has a documentation" . "Development tools" . "Editor modes" . "Others" . "File systems and system administration" . "Has a documentation" . "Development tools" . "Compilers" . "Toys - Examples" . "2D graphics" . "Native OCaml libraries" . "GPL" . "Games" . "Bindings with C libraries" . "Audio" . "2D graphics" . "Has a documentation" . "Email" . "Others" . "GPL" . "File systems and system administration" . "Slides" . "Programming languages" . "Native OCaml libraries" . "Camlp4 extensions" . "Program analysis" . "Language extensions" . "Development tools" . "Internationalization" . "Bindings with C libraries" . "Scientific software" . "GPL" . "Maths and Logic" . "2D graphics" . "Has a documentation" . "GPL" . "Communications and networking" . "Audio" . "Has a documentation" . "Tutorials" . "Language extensions" . "Toys - Examples" . "3D graphics" . "Others" . "File systems and system administration" . "Others" . "X" . "File systems and system administration" . "Scientific software" . "MIT/X11" . "3D graphics" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a documentation" . "Development tools" . "Native OCaml libraries" . "GPL" . "XML protocols" . "Code generators" . "Has a documentation" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Has a Godi package" . "Native OCaml libraries" . "LGPL" . "Data structures" . "GPL" . "GPL" . "Development tools" . "Development tools" . "BSD" . "Languages interfaces" . "Has a documentation" . "Typing" . "Development tools" . "GPL" . "Documentation generation" . "Development tools" . "Program analysis" . "Code generators" . "Has a documentation" . "Has a Godi package" . "Native OCaml libraries" . "LGPL" . "XML protocols" . "Language extensions" . "Command line" . "Camlp4 extensions" . "Bindings with C libraries" . "LGPL" . "3D graphics" . "Others" . "GPL" . "Date and time" . "Bindings with C libraries" . "LGPL" . "Graphical toolkits" . "Has a Godi package" . "Bindings with C libraries" . "BSD" . "Strings manipulation" . "Development tools" . "QPL" . "Compilers" . "Typing" . "Has a documentation" . "Has a Godi package" . "Has a tutorial" . "Bindings with C libraries" . "Games" . "Has a tutorial" . "Bindings with C libraries" . "Audio" . "Native OCaml libraries" . "GPL" . "LGPL" . "XML protocols" . "Servers and clients" . "Compilers" . "Development tools" . "Has a documentation" . "Others" . "LGPL" . "Shell programming" . "Scientific software" . "GPL" . "Maths and Logic" . "2D graphics" . "LGPL" . "Native OCaml libraries" . "Language extensions" . "Camlp4 extensions" . "Has a documentation" . "Has a tutorial" . "Code generators" . "Hardware" . "Development tools" . "LGPL" . "Development environments" . "Code generators" . "Development tools" . "GPL" . "Development environments" . "Others" . "GPL" . "Compilers" . "Date and time" . "GPL" . "File systems and system administration" . "Has a Godi package" . "Bindings with C libraries" . "MIT/X11" . "Databases" . "Development tools" . "GPL" . "Interpreters" . "Bindings with C libraries" . "BSD" . "System programming" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Camlp4 extensions" . "Language extensions" . "Others" . "Games" . "Has a documentation" . "Native OCaml libraries" . "GPL" . "Lexing and parsing" . "Toys - Examples" . "Games" . "Has a documentation" . "Public Domain" . "Scientific software" . "Science" . "Software development" . "Books" . "Camlp4 extensions" . "Language extensions" . "Has a documentation" . "Toys - Examples" . "3D graphics" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Communications and networking" . "Books" . "Programming languages" . "Others" . "MIT/X11" . "Games" . "Development tools" . "Build tools" . "Development tools" . "Language extensions" . "Development environments" . "Has a documentation" . "Bindings with C libraries" . "GPL" . "2D graphics" . "Development tools" . "Code generators" . "Lexing and parsing" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "System files" . "Native OCaml libraries" . "LGPL" . "TCP/IP" . "Native OCaml libraries" . "GPL" . "Lexing and parsing" . "Graphical toolkits" . "Native OCaml libraries" . "Lexing and parsing" . "Scientific software" . "Compilers" . "Development tools" . "Compilers" . "Camlp4 extensions" . "Code generators" . "Has a documentation" . "Others" . "Games" . "Has a documentation" . "Others" . "GPL" . "Games" . "Has a documentation" . "Has a tutorial" . "Scientific software" . "GPL" . "Interpreters" . "Has a documentation" . "Native OCaml libraries" . "GPL" . "X" . "Native OCaml libraries" . "GPL" . "X" . "Bindings with C libraries" . "LGPL" . "Databases" . "Toys - Examples" . "Public Domain" . "Parsers and pretty-printers" . "Scientific software" . "BSD" . "Maths and Logic" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Camlp4 extensions" . "BSD" . "Language extensions" . "Has a documentation" . "Scientific software" . "BSD" . "Program analysis" . "Has a documentation" . "Development tools" . "XML specific languages" . "CGI" . "Has a tutorial" . "BSD" . "Native OCaml libraries" . "Lexing and parsing" . "Linguistics" . "Native OCaml libraries" . "MIT/X11" . "Computing" . "Native OCaml libraries" . "Computing" . "Native OCaml libraries" . "Camlp4 extensions" . "Data structures" . "Has a documentation" . "Language extensions" . "Patch" . "Has a documentation" . "Camlp4 extensions" . "Native OCaml libraries" . "LGPL" . "Lexing and parsing" . "Has a documentation" . "Development tools" . "LPPL (LaTeX Project Public Licence)" . "Publishing" . "Development tools" . "Editor modes" . "Others" . "GPL" . "WWW/HTTP" . "Bindings with C libraries" . "BSD" . "Linguistics" . "Bindings with C libraries" . "LGPL" . "2D graphics" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Development tools" . "BSD" . "Code generators" . "2D graphics" . "Camlp4 extensions" . "LGPL" . "Language extensions" . "Has a documentation" . "Boost Software License" . "Maths and Logic" . "Scientific software" . "Native OCaml libraries" . "Language extensions" . "Has a documentation" . "Patch" . "Typing" . "Language extensions" . "Has a documentation" . "Development tools" . "CeCILL" . "XML specific languages" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Linguistics" . "Scientific software" . "Native OCaml libraries" . "CeCILL" . "Biology" . "Has a tutorial" . "Bindings with C libraries" . "3D graphics" . "2D graphics" . "Audio" . "Has a documentation" . "Has a tutorial" . "Others" . "GPL" . "Email" . "Has a tutorial" . "Others" . "GPL" . "XML formats" . "WWW/HTTP" . "Has a documentation" . "Bindings with C libraries" . "Databases" . "Has a documentation" . "Has a Godi package" . "Others" . "Games" . "Native OCaml libraries" . "Strings manipulation" . "Development tools" . "BSD" . "Program analysis" . "Natural language" . "Others" . "System programming" . "Has a documentation" . "Native OCaml libraries" . "System programming" . "LGPL" . "Lexing and parsing" . "Has a documentation" . "Development tools" . "LGPL" . "Distributed and parallel programming" . "Has a documentation" . "Scientific software" . "GPL" . "Maths and Logic" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Databases" . "Has a documentation" . "Native OCaml libraries" . "Web application" . "XML protocols" . "Bindings with C libraries" . "File systems and system administration" . "Bindings with C libraries" . "Audio" . "Native OCaml libraries" . "File systems and system administration" . "Native OCaml libraries" . "Communications and networking" . "FTP" . "Servers and clients" . "Native OCaml libraries" . "FTP" . "Bindings with C libraries" . "Audio" . "Native OCaml libraries" . "Audio" . "Bindings with C libraries" . "Communications and networking" . "BSD" . "Has a Godi package" . "Native OCaml libraries" . "Other protocols" . "Bindings with C libraries" . "System programming" . "Web application" . "Servers and clients" . "(X)HTML" . "Has a documentation" . "Has a tutorial" . "Native OCaml libraries" . "Camlp4 extensions" . "Typing" . "Bindings with C libraries" . "Audio" . "Applications written in Caml" . "BSD" . "Maths and Logic" . "Computing" . "Has a documentation" . "Has a tutorial" . "Toys - Examples" . "GPL" . "3D graphics" . "Has a documentation" . "Camlp4 extensions" . "BSD" . "Other protocols" . "Has a Godi package" . "Development tools" . "Development environments" . "Development tools" . "Testing" . "Others" . "GPL" . "File systems and system administration" . "BSD" . "Has a Godi package" . "Native OCaml libraries" . "BSD" . "Parsers and pretty-printers" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "System files" . "Native OCaml libraries" . "GPL" . "Distributed and parallel programming" . "Data structures" . "Has a documentation" . "Development tools" . "Language extensions" . "Has a documentation" . "Patch" . "GPL" . "Documentation generation" . "Publishing" . "Has a documentation" . "Has a documentation" . "Language extensions" . "MIT/X11" . "Camlp4 extensions" . "Camlp4 extensions" . "MIT/X11" . "Language extensions" . "Has a documentation" . "Others" . "GPL" . "File systems and system administration" . "Has a documentation" . "BSD" . "Native OCaml libraries" . "2D graphics" . "Publishing" . "Has a documentation" . "Development tools" . "QPL" . "Data structures" . "Has a tutorial" . "Code generators" . "Scientific software" . "Development tools" . "Maths and Logic" . "Has a documentation" . "Development tools" . "Development environments" . "Program analysis" . "Scientific software" . "Native OCaml libraries" . "Public Domain" . "Graphical toolkits" . "Camlp4 extensions" . "Native OCaml libraries" . "Language extensions" . "Code generators" . "Has a documentation" . "Has a documentation" . "Others" . "File systems and system administration" . "Others" . "2D graphics" . "Has a Godi package" . "Language extensions" . "Camlp4 extensions" . "Has a documentation" . "Others" . "3D graphics" . "Games" . "Native OCaml libraries" . "LGPL" . "RPC" . "XML protocols" . "Development tools" . "Has a documentation" . "Development environments" . "CECILL-B" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Data structures" . "Bindings with C libraries" . "LGPL" . "Hardware" . "Has a Godi package" . "Native OCaml libraries" . "GPL" . "Graphical toolkits" . "Has a tutorial" . "Others" . "GPL" . "System files" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "System programming" . "Bindings with C libraries" . "GPL" . "Has a documentation" . "Debugging" . "Tutorials" . "Databases" . "Development tools" . "Open Source" . "Language extensions" . "Has a documentation" . "Has a documentation" . "Code generators" . "Programming languages" . "LGPL" . "Native OCaml libraries" . "LGPL" . "Java libraries" . "Interpreters" . "Has a documentation" . "Software development" . "Development tools" . "QPL" . "Compilers" . "Has a documentation" . "Has a documentation" . "Code generators" . "GPL" . "Development tools" . "Compilers" . "Native OCaml libraries" . "GPL" . "Distributed and parallel programming" . "Has a documentation" . "Development tools" . "Editor modes" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Open Source" . "Native OCaml libraries" . "Data structures" . "Has a documentation" . "Java libraries" . "LGPL" . "Interpreters" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Has a documentation" . "Camlp4 extensions" . "Language extensions" . "Has a documentation" . "Has a documentation" . "Typing" . "Language extensions" . "Camlp4 extensions" . "Native OCaml libraries" . "Scientific software" . "Other/Proprietary License" . "Maths and Logic" . "Has a documentation" . "Scientific software" . "GPL" . "Communications and networking" . "Scientific software" . "Scientific papers" . "Has a documentation" . "Typing" . "Scientific software" . "GPL" . "Has a documentation" . "Physics" . "Bindings with C libraries" . "Lexing and parsing" . "LGPL" . "Development tools" . "LGPL" . "2D graphics" . "Web application" . "GPL" . "Has a tutorial" . "Servers and clients" . "Tutorials" . "Graphical toolkits" . "Has a documentation" . "LGPL" . "Development tools" . "Program analysis" . "Debugging" . "LGPL" . "Development tools" . "Bindings with C libraries" . "Video" . "Bindings with C libraries" . "3D graphics" . "Bindings with C libraries" . "Games" . "Multimedia" . "2D graphics" . "2D graphics" . "Bindings with C libraries" . "BSD" . "Programming languages" . "Toys - Examples" . "Native OCaml libraries" . "Maths and Logic" . "LGPL" . "Has a tutorial" . "Debugging" . "Applications written in Caml" . "Data structures" . "Has a Godi package" . "Development tools" . "Development environments" . "File systems and system administration" . "Development tools" . "GPL" . "LGPL" . "QPL" . "Compilers" . "Bindings with C libraries" . "Text interfaces" . "Toys - Examples" . "Games" . "Toys - Examples" . "Data structures" . "2D graphics" . "System programming" . "GPL" . "Native OCaml libraries" . "Native OCaml libraries" . "LGPL" . "Camlp4 extensions" . "Robotics" . "Has a documentation" . "LGPL" . "Language extensions" . "LGPL" . "Camlp4 extensions" . "LGPL" . "Data structures" . "Development tools" . "BSD" . "Compilers" . "Native OCaml libraries" . "Open Source" . "Development environments" . "Has a documentation" . "Has a Godi package" . "Bindings with C libraries" . "GPL" . "Maths and Logic" . "Development tools" . "GPL" . "2D graphics" . "Text interfaces" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Toys - Examples" . "Communications and networking" . "Bindings with C libraries" . "GPL" . "MIT/X11" . "2D graphics" . "Toys - Examples" . "GPL" . "Games" . "3D graphics" . "Tutorials" . "GFDL" . "Languages interfaces" . "Native OCaml libraries" . "LGPL" . "General purpose libraries" . "Native OCaml libraries" . "LGPL" . "Other protocols" . "Scientific software" . "LGPL" . "Program analysis" . "Native OCaml libraries" . "GPL" . "BSD" . "Data structures" . "XML formats" . "Development tools" . "GPL" . "Program analysis" . "(X)HTML" . "Camlp4 extensions" . "Native OCaml libraries" . "Native OCaml libraries" . "BSD" . "Data structures" . "Has a documentation" . "Native OCaml libraries" . "Other protocols" . "WWW/HTTP" . "Scientific software" . "GPL" . "File systems and system administration" . "Has a documentation" . "Has a tutorial" . "Development tools" . "GPL" . "Testing" . "Native OCaml libraries" . "BSD" . "Strings manipulation" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Software development" . "Has a documentation" . "Language extensions" . "BSD" . "Camlp4 extensions" . "Native OCaml libraries" . "LGPL" . "System programming" . "RPC" . "Camlp4 extensions" . "LGPL" . "Language extensions" . "Has a documentation" . "Scientific software" . "GPL" . "System programming" . "Has a documentation" . "Native OCaml libraries" . "Distributed and parallel programming" . "Has a documentation" . "Native OCaml libraries" . "Development tools" . "LGPL" . "RPC" . "Code generators" . "Has a documentation" . "Development tools" . "LGPL" . "QPL" . "Development environments" . "Compilers" . "Development tools" . "Development environments" . "Development tools" . "LGPL" . "Other/Proprietary License" . "Compilers" . "Development environments" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Data structures" . "Has a documentation" . "Development tools" . "MIT/X11" . "Build tools" . "Has a documentation" . "Development tools" . "MIT/X11" . "Build tools" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Computing" . "Has a documentation" . "MIT/X11" . "Bindings with C libraries" . "File systems and system administration" . "Native OCaml libraries" . "LGPL" . "Shell programming" . "Has a documentation" . "Scientific software" . "LGPL" . "Publishing" . "2D graphics" . "Has a documentation" . "GPL" . "Native OCaml libraries" . "Program analysis" . "Native OCaml libraries" . "BSD" . "Strings manipulation" . "LGPL" . "Bindings with C libraries" . "GPL" . "2D graphics" . "3D graphics" . "X" . "Toys - Examples" . "GPL" . "File systems and system administration" . "Web application" . "WWW/HTTP" . "Has a tutorial" . "LGPL" . "Development tools" . "Compilers" . "Development tools" . "GPL" . "Testing" . "GPL" . "Bindings with C libraries" . "Publishing" . "GPL" . "Publishing" . "Native OCaml libraries" . "Has a documentation" . "Camlp4 extensions" . "LGPL" . "Language extensions" . "Has a documentation" . "Others" . "3D graphics" . "MIT/X11" . "Bindings with C libraries" . "Hardware" . "3D graphics" . "BSD" . "Camlp4 extensions" . "Language extensions" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Distributed and parallel programming" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Distributed and parallel programming" . "Has a documentation" . "Native OCaml libraries" . "Open Source" . "Distributed and parallel programming" . "Exercices" . "General purpose libraries" . "Scientific software" . "Native OCaml libraries" . "Publishing" . "BSD" . "Has a documentation" . "Toys - Examples" . "GPL" . "Games" . "Camlp4 extensions" . "Language extensions" . "Development tools" . "BSD" . "Has a documentation" . "Build tools" . "Bindings with C libraries" . "GPL" . "File systems and system administration" . "Development tools" . "LGPL" . "Compilers" . "Has a documentation" . "QPL" . "LGPL" . "Native OCaml libraries" . "Distributed and parallel programming" . "LGPL" . "Native OCaml libraries" . "Graphical toolkits" . "Development tools" . "Program analysis" . "Has a documentation" . "Has a tutorial" . "Development tools" . "BSD" . "RPC" . "Code generators" . "Native OCaml libraries" . "GPL" . "Biology" . "Native OCaml libraries" . "BSD" . "Strings manipulation" . "Program analysis" . "Native OCaml libraries" . "LGPL" . "Logging" . "Has a documentation" . "Native OCaml libraries" . "Maths and Logic" . "Has a documentation" . "Native OCaml libraries" . "Databases" . "Has a documentation" . "Development tools" . "Documentation generation" . "Has a documentation" . "Development tools" . "GPL" . "Editor modes" . "Development tools" . "Development environments" . "Has a documentation" . "MIT/X11" . "Development tools" . "GPL" . "Development environments" . "Has a tutorial" . "Maths and Logic" . "Has a documentation" . "Has a tutorial" . "Camlp4 extensions" . "MIT/X11" . "Language extensions" . "Native OCaml libraries" . "LGPL" . "Distributed and parallel programming" . "Has a documentation" . "Native OCaml libraries" . "Audio" . "Has a documentation" . "Native OCaml libraries" . "BSD" . "Other protocols" . "System programming" . "Development tools" . "BSD" . "Code generators" . "Scientific software" . "LGPL" . "System programming" . "Camlp4 extensions" . "LGPL" . "Language extensions" . "Exercices" . "Programming languages" . "Development tools" . "GPL" . "Build tools" . "Development tools" . "BSD" . "Build tools" . "Has a documentation" . "Scientific software" . "Maths and Logic" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "2D graphics" . "Courses" . "Programming languages" . "Development tools" . "GPL" . "Development environments" . "Development tools" . "GPL" . "Publishing" . "Has a documentation" . "Bindings with C libraries" . "LGPL" . "Compression" . "Development tools" . "Other protocols" . "Has a documentation" . "Others" . "MIT/X11" . "Publishing" . "Has a documentation" . "Development tools" . "LGPL" . "Build tools" . "Has a documentation" . "Development tools" . "LGPL" . "Build tools" . "Development tools" . "LGPL" . "Code generators" . "LGPL" . "Native OCaml libraries" . "Debugging" . "LGPL" . "Compilers" . "Has a documentation" . "Others" . "2D graphics" . "Others" . "MIT/X11" . "Other protocols" . "Has a documentation" . "Native OCaml libraries" . "GPL" . "Scientific software" . "File systems and system administration" . "Distributed and parallel programming" . "Has a documentation" . "Has a Godi package" . "Bindings with C libraries" . "zlib/libpng License" . "Audio" . "2D graphics" . "3D graphics" . "Native OCaml libraries" . "Cryptography" . "GPL" . "Has a tutorial" . "Has a documentation" . "Bindings with C libraries" . "BSD" . "System programming" . "Native OCaml libraries" . "LGPL" . "Development environments" . "Development tools" . "LGPL" . "Build tools" . "MIT/X11" . "Development tools" . "Compilers" . "Has a documentation" . "Development tools" . "CECILL-B" . "Compilers" . "Development tools" . "CECILL-B" . "Compilers" . "Bindings with C libraries" . "LGPL" . "System programming" . "Scientific software" . "Open Source" . "2D graphics" . "Maths and Logic" . "Native OCaml libraries" . "Other protocols" . "Development tools" . "Compilers" . "GPL" . "Development tools" . "LGPL" . "WWW/HTTP" . "Compilers" . "Has a documentation" . "Ocamldoc generators" . "GPL" . "Documentation generation" . "Has a documentation" . "Development tools" . "GPL" . "Development environments" . "Has a documentation" . "Graphical toolkits" . "LGPL" . "Native OCaml libraries" . "Native OCaml libraries" . "BSD" . "Other protocols" . "Has a documentation" . "Has a documentation" . "Native OCaml libraries" . "GPL" . "Other protocols" . "Has a documentation" . "Development tools" . "LGPL" . "File systems and system administration" . "Courses" . "Exercices" . "Scientific software" . "GPL" . "3D graphics" . "Native OCaml libraries" . "Data structures" . "Native OCaml libraries" . "BSD" . "Other protocols" . "Has a documentation" . "Has a Godi package" . "Native OCaml libraries" . "GPL" . "Maths and Logic" . "Bindings with C libraries" . "LGPL" . "Maths and Logic" . "Documentations" . "Software development" . "Native OCaml libraries" . "Lexing and parsing" . "Native OCaml libraries" . "BSD" . "Command line" . "Has a documentation" . "Native OCaml libraries" . "MIT/X11" . "System programming" . "Native OCaml libraries" . "LGPL" . "System files" . "Development tools" . "GPL" . "Lexing and parsing" . "Has a documentation" . "Native OCaml libraries" . "Distributed and parallel programming" . "Patch" . "Language extensions" . "Has a documentation" . "Development tools" . "GPL" . "Build tools" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Lexing and parsing" . "Bindings with C libraries" . "Databases" . "Has a documentation" . "Bindings with C libraries" . "GPL" . "Other protocols" . "Native OCaml libraries" . "LGPL" . "Other protocols" . "System programming" . "Bindings with C libraries" . "GPL" . "Numeric computation" . "Development tools" . "BSD" . "Code generators" . "Has a documentation" . "Has a tutorial" . "Bindings with C libraries" . "LGPL" . "Numeric computation" . "Bindings with C libraries" . "LGPL" . "Compression" . "Program analysis" . "LGPL" . "Native OCaml libraries" . "Has a documentation" . "Has a tutorial" . "Development tools" . "BSD" . "Development environments" . "Development tools" . "Apache" . "Data structures" . "Scientific software" . "LGPL" . "Publishing" . "Native OCaml libraries" . "LGPL" . "Distributed and parallel programming" . "Bindings with C libraries" . "LGPL" . "Numeric computation" . "Cryptography" . "Program analysis" . "Has a documentation" . "Has a tutorial" . "Has a tutorial" . "Native OCaml libraries" . "GPL" . "Databases" . "Native OCaml libraries" . "QPL" . "Maths and Logic" . "Has a documentation" . "Native OCaml libraries" . "Graphical toolkits" . "Has a documentation" . "Native OCaml libraries" . "LGPL" . "Languages interfaces" . "Development tools" . "LGPL" . "QPL" . "Interpreters" . "Has a tutorial" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .