OCaml Planet

May 15, 2012

Richard Jones

OCaml Users and Developers conference 2012

The OCaml Users and Developers Conference (14th September 2012, Copenhagen) is looking for speakers!

I’m intending to submit a talk on using OCaml for code generation in libguestfs.


by rich at May 15, 2012 07:43 PM

Caml Weekly News

Caml Weekly News, 15 May 2012

camlp4 and generating class definitions / Barista 2.0-alpha3 / OCaml Users and Developers (OUD) / 108.00-pre2 pre-release of Core suite / Any tool for unit tests as comments in OCaml source? / Other Caml News

May 15, 2012 12:00 PM

May 13, 2012

OCamlCore Forge News

Barista: 2.0-alpha3

Changelog: - support for '*.sym' and '*.war' files in classpath - 'JAVA_HOME' environment variable used to load JDK classes - '/usr/libexec/java_home' utility used to load JDK classes (MacOS X) - 'Predef' module renamed to 'Predefined' - peephole rule for optimization of load/load sequences - no automatic detection of 'ocamljava' binary - bug #99: wrong packing of int32 into int64 - bug: ocamlbuild plugin for ocamljava-based compilation - bug: invalid stack maps when double/long is followed by top - bug: invalid locals size when over 255 - bug: incorrect graph flattening when wide gotos are used - bug: install 'cmi' file

by Xavier Clerc at May 13, 2012 05:01 PM

May 09, 2012

OCamlCore Forge Projects

stog

Stog is like Jekyll in OCaml.

May 09, 2012 01:18 PM

May 08, 2012

Caml Weekly News

Caml Weekly News, 08 May 2012

Summer School on Functional Programming for Parallel and Concurrent Applications / Uutf 0.9.0 and Jsonm 0.9.0 / A shallow option type / extending user-defined polymorphic variant types / findlib-1.3.0 / Other Caml News

May 08, 2012 12:00 PM

May 07, 2012

The Caml Humps

Findlib 1.3.0

A library manager for Objective Caml.

May 07, 2012 01:01 PM

Jsonm 0.9.0

Jsonm is a non-blocking streaming codec to decode and encode the JSON data format. It can process JSON text without blocking on IO and without a complete in-memory representation of the data. The uncut codec also processes whitespace and (non-standard) JSON with JavaScript comments.

May 07, 2012 07:31 AM

May 06, 2012

OCamlCore Forge Projects

OCaml-Java

OCaml-Java provides an OCaml compiler targeting the JVM platform, as well as the necessary runtime support.

May 06, 2012 07:17 PM

OCamlCore Forge News

RegSTAB 2.0.0 released

- Complete refactoring - Improved efficiency - Now able to generate refutations - UTF8 output - A few more examples - Various new command-line options: * use inclusion instead of equality for cycle detection * display the lemmas that are actually used in the deduction * possibility to annotate files so as to indicate if the expected result is SAT or UNSAT * display options: UTF8 or ASCII, display the body of iterations or not for more conciseness * printing the model in case of satisfiability is not the default anymore - Improved user documentation - Improved developper documentation - Translation from schemata to LTL: sch2ltl

by Vincent Aravantinos at May 06, 2012 03:34 PM

May 05, 2012

Daniel Bünzli

Jsonm 0.9.0

First release of Jsonm, a non-blocking streaming JSON codec for OCaml.

May 05, 2012 02:18 PM