Safecap Platform for improving railway capacity via formal modelling
Java graph library
Multithreaded N-Point Gravity Simulation for PC and Android
Aplicativo para simulação e solução de vigas
To aid translation of satsangs of Paramhamsa Nithyananda
Petri net framework for security related modeling and reasoning.
Editor for Petri nets
Open-Source Thermostatic Radiator Valve
Virtual Microdissection for SNP calling
Temperature Unit Converter
eyeCure helps you cure your ill eyes, tired or intermittent exotropia.
Open Source Integrated Clinical Environment
ConvertMAS converts Chemical File Formats mol, mol2 and sdf.
A Free and Open Source Java Framework for Multiobjective Optimization
Metatagging Editor for Learning Object Metadata (IEEE's LOM)
Dendrochronological sample measurement, curation and analysis program
Bit level lambda continuations and nothing else - Queue automata