Search Results for "ocaml"

...SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. SWIG is most commonly used to create high-level interpreted or compiled programming environments, user interfaces, and as a tool for testing and prototyping C/C++ software. SWIG is typically used to parse C/C++ interfaces and generate the 'glue code' required for the above target languages to call into the C/C++ code. ...

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

Felix programming language specifications and translator

Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.

A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.

Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.

banshee-- A toolkit for building constraint-based program analyses

A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.

C2caml is a tool for automatic generation of ocaml bindings fro a library from it's C header interface.