The PROMELA OCaml library provides types to create, manipulate and to
reason about PROMELA programs. The OCaml data structures can... Read more
Zarith 1.1
Mar 24, 2012
ZArith is a fast, space-efficient, GMP-based library for
arbitrary-precision integer and rational arithmetic...
Read more
OCamlTopWin: a simple Windows UI
Mar 24, 2012
A simplistic user interface (essentially, a text window with basic
editing facilities) for the OCaml toplevel under MS Windows...
Read more
Interval computation library 1.1
Mar 19, 2012
This is an interval computation library for ocaml...
Read more
OCaml MySQL Protocol 0.4
Mar 19, 2012
Implementation of MySQL Protocol with the Bitstring library...
Read more
Js_of_ocaml 1.1 released
Mar 15, 2012
Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes
it possible to run OCaml programs in a Web browser...
Read more
TypeRex 1.0.0
Mar 13, 2012
TypeRex is a powerful development environment for OCaml. It is
designed to integrate easily in your favorite editor, and to provide...
Read more
OCaml Users and Developers Workshop
Mar 10, 2012
The next OCaml Users and Developers (OUD) meeting will be held alongside the ACM/SIGPLAN International Conference in Functional Programming...
Read more
Jingoo v1.0 - an ocaml template engine
Feb 26, 2012
Jingoo is ocaml template engine almost compatible with jinja2... Read more
Whenjobs - another cron replacement
Feb 18, 2012
Whenjobs is a powerful but simple replacement for cron. It lets you
run jobs periodically like cron...
Read more
Interval Computation Library
Feb 13, 2012
A new Interval Computation Library for OCaml, with correct roundings that works only on Intel processors. Read more...
gapi-ocaml v0.1 released
Feb 11, 2012
gapi-ocaml is a simple, unofficial, OCaml client for Google
Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0
authentication. Read
more....
New version v10 of llpp
Feb 9, 2012
llpp a graphical PDF
viewer which aims to superficially resemble less(1). It is an OCaml
wrapper over MuPDF. Read
more....
VIM plugin improvement
Jan 30, 2012
A version of the VIM
plugin allowing to use annotations generated by the compiler to
navigate in the code. Read more....
New js_of_ocaml example
Jan 27, 2012
This example is an Hyperbolic tree viewer, implemented in OCaml, and
running in any browser, thanks to a translation to Javascript by
js_of_ocaml.
Read
more....
Zermelo Proof Checker
Jan 26, 2012
The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory.
Read
more....
New version 0.6 of Plasma
Jan 2, 2012
The Plasma project is an implementation of Map-Reduce over a
distributed filesystem. It is competitive with Hadoop.
Read more....