OStatic

Robocode is a Java based programming game, where the goal is to develop robot battle tank to battle against competitor tanks. The moto of Robocode is:...

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

The Jikes Research Virtual Machine (RVM) is designed to execute Java(TM) programs that are typically used in research on fundamental virtual machine d...

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

OpenSHORE is a XML based hypertext repository with a free definable meta model that stores data about and described by documents. The acronym SHORE me...

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.

Symbolic mathematics engine written in Java. Features: math expression parser, pattern matcher, Java generic algorithm library. Available through a Go...

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...

WINX focus the goal: MOST SIMPLE BUT EFFECTIVE. It is a C++ template GUI library that easy to use, and compatible to WTL. WTL is an effective Windows ...