Null dereference verifier for Java Programs
BinBase is a software for the automatic analysis of Massspec data from
KnowWE has moved, please see http://d3web.sourceforge.net
Active Network Programming Language
GEPETTO (GEne Prioritization ExTended TOol)
Software package for the joint genotyping
Modular, agent-oriented and extendable agent toolkit.
Lambda Calculus Interpreter for Android
Java Framework for developing of remote/virtual laboratories
Visualize Galois sub-hierarchy of 2d matrix