An open source harness for generating CAD models
Tool support for the Z formal notation
An intuitive molecular editor and visualization tool
Modular System for Shelves and Coasts
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated
A C++ framework that uses inhibition trees for behaviour control.
A C++ framework that implements generalised finite state machines.
A Free and Open Source Java Framework for Multiobjective Optimization
This is a lightweight java dynamic component framework
Superconducting QUantum Interference Devices (SQUIDs) control software