Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Enigma Encryption Simulator in Java
A comprehensive Supervisory Control, Data Acquisition, and Execution
Automates the building of VANET simulations using SUMO and OMNeT++
A wireless push-type network simulator.
System safety, dependability and security analysis
Quantum universal object system with referencing and genetics
A national virtual bridge engineering contest for kids of all ages.
Linux for Arduino and Makers developers
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3).
Bit level lambda continuations and nothing else - Queue automata
Network security simulator
Laboratory Information Management System with Complete Lab. Automation
A simulation software for numerical techniques.
A platform for modelling influenza-like epidemics and containment