proof verifier for mathematical proofs and documentation generator
Flexible platform for rapid Web site creation, without any limitations
The research of an ability to port Liferay to Virgo
A tiny library to add auto discovery capability into your applications
Open-source traffic analyzer / visualizer
A Java Framework for the creation of online REST services