OStatic

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

JAMon API is a free, simple, high performance, thread safe, Java API that allows developers to easily monitor the performance and scalability of produ...

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

The aim of the project is to develop an open source iSCSI target with professional features, works well in enterprise environment under real workload,...

Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine...

The Grid Programming Environment (GPE) turns a collection of computer systems into a Grid and provides graphical user interfaces and interoperable Gri...

Acmx library is designed to help AutoCad .net plugins development. It can be used along with AutoCad managed wrappers and COM APIs. It allows using Mi...

NxBRE is a lightweight Business Rule Engine (aka Rule Based Engine) for the .NET platform, composed of a forward-chaining inference engine and an XML-...

The FormattedDataSet Java API is the easiest way to generate dynamic text (HTML, XML, WML, JavaScript,...). The dynamic text is generated by using ta...

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).