OStatic

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B ...

FlexWiki is a collaborative web-based authoring environment implemented on the Microsoft .NET platform.

MSTParser is a non-projective dependency parser that searches for maximum spanning trees over directed graphs. Models of dependency structure are base...

Java based implementation of the Optimization Programming Language.

Jastor is a Java code generator that generates Beans from Web Ontologies (OWL) enabling convenient, type safe access and eventing of RDF stored in a J...

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults,...

This Java library (currently 217 classes) is able to handle quantities in terms of basic arithmetics, conversion to similar units, serialization. As f...

The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by ...

Life Science Identifier (LSID) resolution protocol, to locate biologically significant data over a network, within middle-ware providing a client A.P....

The algorithm allows any kind of weights (costs, frequencies), including non-numerical ones. The {0, 1, ..., n-1} alphabet is used to encode message. ...