Search Results for "xml-parser"

...In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media

XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.

XSF (XmlSourceFile)

A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)

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.

Zarbi is a tool to create slideshows. Using a simple XML based input format, it can generates several outputs: HTML (single and splitted), PDF, LaTeX, TXT. Themes are available.

MODS FR is a repository for french documentation and tools relating to MODS. First, it help librarians to convert UNIMARC records to MODS (XML) metadata. This tool is an XML stylesheet that read MARCXML files produced by a tool like MARC4J.

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.

XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.

The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.

The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.