Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Software development :: Code generators

Camlp4 extensions

Camlp4 extensions
Camlmix [26-Jan-2006, version 1.3, Stable] Has a documentation
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.
Author: Martin Jambon.
Camlp4 extensions
IoXML [01-Feb-2002, version 0.6, Beta]
IoXML allows defining XML parsers and pretty-printers directly from data type definitions.

Development tools

Development tools
AlphaCaml [10-Jun-2005, Beta] Has a Godi packageHas a documentation
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.
Development tools
Cameleon [28-Nov-2006, version 1.9.17, Beta] Has a documentation
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.
Development tools
Menhir [09-Sep-2008, version 20080908, Beta] Has a documentation
Menhir is an LR(1) parser generator for the Objective Caml programming language.
Development tools
Moca [01-May-2007, version 0.3.0, Beta] Has a tutorial
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.
Development tools
Nickel [10-Sep-2007, version 1.0-alpha, Alpha] Has a documentation
Bridge/Bindings generator for Java/Objective Caml integration.
Author: Xavier Clerc.
Development tools
OCamlBurg [05-Mar-2002, Beta] Has a documentation
Generate a dynamic-programming ocaml code from a pattern matching specification.
Development tools
svgconv [20-Jun-2007, version 1.0.5, Stable]
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.
Author: Janne Hellsten.
Development tools
SWIG [05-Dec-2003, version 1.3.20, Stable] Has a documentation
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#.

Libraries

Native OCaml libraries

Native OCaml libraries
Barista [10-Sep-2007, version 1.0-alpha, Alpha] Has a documentation
Library for Java .class file manipulation. Also a command-line [dis]assembler for Java.
Author: Xavier Clerc.
Native OCaml libraries
CamlIDL [10-Aug-2001, version 1.04, Stable] Has a documentation
CamlIDL is a stub code generator and COM binding for Objective Caml.
Author: Xavier Leroy.
Native OCaml libraries
Deriving [20-Jun-2007, version 0.1, Beta] Has a documentation
A system for constructing functions automatically from type definitions.
Author: Jeremy Yallop.
Native OCaml libraries
HDCaml [07-Nov-2005, version 0.2.9, Beta]
HDCaml provides a framework for describing hardware structures in OCaml. Given a functional hardware description, HDCaml will produce a Verilog netlist for verification and implementation. HDCaml also has decent PSL support for assertion based verification.
Author: Tom Hawkins.
Development tools
Orpc [29-Aug-2008, version 0.1, Beta] Has a documentation
A tool for generating RPC bindings from OCaml signatures. Orpc works with the ONC RPC implementation in Ocamlnet; it is designed to be used in place of ocamlrpcgen. The advantage is that you can use familiar OCaml syntax, most OCaml data types, exceptions, and labeled/optional function arguments. In addition orpc can generate tracing/pretty-printing code from a signature, and it permits asynchronous clients and servers to be written using the Lwt threads library.
Author: Jake Donham.
Native OCaml libraries
rpc [17-Jun-2002, version 0.3.2, Stable] Has a Godi package
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.
Author: Gerd Stolpmann.
Native OCaml libraries
SimpleSOAP [24-May-2005, version 0.1.1, Alpha] Has a documentation
SimpleSOAP is an early, experimental SOAP client for Objective CAML.