http://caml.inria.fr/cgi-bin/hump.cgi Releases/updates in the Humps en hump@caml.inria.fr hump@caml.inria.fr 09 Feb 2012 05:50:01 +0000 09 Feb 2012 05:50:01 +0000 1440 http://caml.inria.fr//pub/logos/caml-inria-fr.128x58.gif http://caml.inria.fr/cgi-bin/hump.cgi http://caml.inria.fr/cgi-bin/hump.cgi?contrib=796 The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory. 26 Jan 2012 09:42:09 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=293 Unit test framework for ocaml. It is based on HUnit, a unit testing framework for Haskell. 23 Jan 2012 14:30:55 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=294 An Emacs tag generator for Ocaml source files, working also with syntaxes extended with Camlp4. 23 Jan 2012 14:29:34 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=574 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... 23 Jan 2012 14:28:27 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=660 A small compiler patch which extends -annot option and records all the variable definition locations, so that we can jump from variable uses to their definitions easily from editors such as emacs. 23 Jan 2012 14:26:53 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=790 These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library. 11 Jan 2012 09:27:17 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=85 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. 09 Jan 2012 06:06:33 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=795 ocamlbrew aims to be a simple tool for getting up and running with various versions of OCaml. The concept, along with some basic code, is borrowed from perlbrew. 09 Jan 2012 06:03:56 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=503 Zenon is an automatic theorem prover written in OCaml. Zenon handles first-order logic with equality. Its most important feature is that it outputs the proofs of the theorems, in Coq-checkable form. 09 Jan 2012 05:56:33 +0000 http://caml.inria.fr/cgi-bin/hump.cgi?contrib=99 A rewrite and constraint-solver tool. 09 Jan 2012 05:56:04 +0000