OStatic

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin part...

xinco [eXtensibe INformation COre] is a powerful Web-Service based Information and Document Management System (DMS) for files, text, URLs and contacts...

XDXF (XML Dictionary Exchange Format) is a project to unite all existing open dictionaries and provide both users and developers with universal XML-ba...

MyOODB is a high speed SDK for hackers serious about OO development. An integrated Database & Web environment that provides true distributed objec...

bib2html convert BibTeX descriptions of publications into a set of html pages with several different index pages types. Formatting is controllable thr...

SAADA transforms a set of heterogeneous astronomical data FITS files in a powerfull database deployed on the Web and including VO features. The databa...

In the tradition of Hilbert`s program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathem...

A P2P overlay constructiion toolkit, which supports routing algorithm researchers in addition to application developers. It provides multiple routing ...

plasTeX is a Python-based LaTeX document processing framework. It gives DOM-like access to a LaTeX document, as well as the ability to generate mulitp...

Jasper in an open source, cross-language web development framework.