Generating PLC programs from formal specifications
Crux is a framework to develop efficient Web/Mobile applications.
A lightweight Java IDE for Windows
A Java Distributed Shared Memory Middleware
A modern, easy and customizable app manager for Android with Material
Java utilities for byte streams, readers and format detection
Nifty GUI is a Java Library to create OpenGL based user interfaces.
Java RDF Framework
JFig is a simple, powerful tool to manage application configuration
Generate Java and PHP database apps from abstract Event-B models.
Opensource framework for creation bussiness web applications
Create XML and JSON data services from any data source
moved to http://sourceforge.net/projects/gdbx/
Java library for easy accessing Tor network.
Lightweight fully extendable client/server application framework