Generating PLC programs from formal specifications
Scheduling lockages at ship locks with several parallel lock chambers
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Modular Java framework for meta-heuristic optimization
A Physics Theory for Unifying Classical, Quantum and Relativistic Phys
An easy to use GUI enables electric source and grid simulation.
Simulator of G/G/k queue systems used in computer networks.
Accurate and efficient Java library that simulates biological models
Computer calculations made easy
!!! moved to jnum subproject under crush-software !!!
NMEA libary for java (protocol of GPS devices)
Performance Testing Tool For Thread Pool Systems
Multithreaded N-Point Gravity Simulation for PC and Android
Library with classes for common programming issues.
Generate complex SNP models and heterogeneous datasets
An electromechanical computer simulation.