The Caml Hump: Software development :: Code generators

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.

IoXML allows defining XML parsers and pretty-printers directly from data type definitions.

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 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.

Menhir is an LR(1) parser generator for the Objective Caml programming language.

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.

Bridge/Bindings generator for Java/Objective Caml integration.

Generate a dynamic-programming ocaml code from a pattern matching specification.

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.

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#.

Library for Java .class file manipulation. Also a command-line [dis]assembler for Java.

CamlIDL is a stub code generator and COM binding for Objective Caml.

A system for constructing functions automatically from type definitions.

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.

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.

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.

SimpleSOAP is an early, experimental SOAP client for Objective CAML.