Search Results for "ml-so1v"

Basload is a crossdevelopment commandline tool for the Commodore 64 that takes takes a pure machine language program file, transforms it into BASIC data statements + checksum and adds a small BASIC install routine. Main purpose of this is to share short ML programs for hardware testing/debugging in a typable form over the internet in cases where the recipient cannot transfer those to his C64 in binary state and thus has to type them in.

(ml)Silkworm, or just Silkworm, is a markup language library for PHP to aid in the creation of HTML and XML documents. Silkworm acts as an abstraction layer allowing you to focus solely on PHP when you're programming eliminating the need to worry about properly formatting your HTML \t\t<tags>\n manually. Silkworm generates nicely carriaged, returned and indented HTML or XML from your PHP files.

GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.

A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.

CSpe is a library allowing partial function application in C (kindof like closures in ML languages) : From a function to be specialized and some of its arguments, it dynamically generates a new function pointer, which can then be called transparently

From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.

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.

OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.

The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.

Exquisite is a survey generator that uses a simple domain-specific language for specifying a survey. The generator creates a specialised perl script for your survey. It allows you to use perl code for specifying validators and error handling etc.

Native code compiler for Standard ML 97 and associated libraries and tools.

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

...It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose program and detect performance or other anomalies; generate benchmarks particularly useful to train ML-based compilers. GCC plugin is licenced under GPLv3 licensed, while future LLVM plugins will be licensed under BSD license. Alchemist plugin is in a preliminary stage (based on MILEPOST ML plugin), so collaborations are very welcome!