DSTK - DataScience ToolKit for All of Us
Moved to GitHub: https://github.com/makumba
A service-oriented programming language.
dotCMS helps enterprises create, manage and deliver content anywhere.
Scientific Charting with JavaFX
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
TuCSoN tuple-based coordination middleware
proof verifier for mathematical proofs and documentation generator
KnowWE has moved, please see http://d3web.sourceforge.net
Active Network Programming Language