9 Results for all

Can't find a software application?

Submit it to OStatic

rodin-b-sharp

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

compressions

Major looseless compression algorithms library and documentation. The implementation include this compressions: Arithmetic, Huffman, LZ77, LZ78, L...

websubrev

Web-based software for submission and review of papers to academic conferneces. Provides support for the entire life-cycle of the conference review pr...

jprose

PROSE is a tool for dynamic AOP for Java

adolpy

ADOL-Py is a python extension to the ADOL-C automatic differentiation library.

plecotus

The PLECOTUS-Project provides software tools for sustainable land use management, especially forest management. It provides a framework for forest gro...

fnd4j

FND4J is a 100% Java Implementation of the FND Protocol used for integration of facilities like meters. It is mainly developed for learning purposes a...

japacat

TRAJAXE - A Japanese to Catalan, Spanish and English automatic isolated sentence translator for Windows 2000^ with Japanese suport written in Visual B...

juzzleapi

Juzzle is a project the goal of which is to provide API (Application Programming interface) permitting to build integrated tools.