Aplicativo para simulação e solução de vigas
A TRNSYS type that allows for a bi-directional communication with Java
Performance Testing Tool For Thread Pool Systems
Safecap Platform for improving railway capacity via formal modelling
Multithreaded N-Point Gravity Simulation for PC and Android
To aid translation of satsangs of Paramhamsa Nithyananda
Editor for Petri nets
Open-Source Thermostatic Radiator Valve
Library with classes for common programming issues.
Bit level lambda continuations and nothing else - Queue automata
Temperature Unit Converter
ConvertMAS converts Chemical File Formats mol, mol2 and sdf.
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.