Safecap Platform for improving railway capacity via formal modelling
Aplicativo para simulação e solução de vigas
Performance Testing Tool For Thread Pool Systems
Multithreaded N-Point Gravity Simulation for PC and Android
A framework for prototyping and testing P2P live streaming algorithms
A Free and Open Source Java Framework for Multiobjective Optimization
Editor for Petri nets
Virtual Microdissection for SNP calling
ConvertMAS converts Chemical File Formats mol, mol2 and sdf.
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Java graph library
Dendrochronological sample measurement, curation and analysis program
Metatagging Editor for Learning Object Metadata (IEEE's LOM)
Plugin for Repast Simphony that supports storage of results in a DB
Open Source Integrated Clinical Environment