Eclipse 4diac the open source solution for industrial automation
A DPA process-based application platform with a workflow engine
SCADA HMI for substations, IoT and automation applications
Software build-automation tool written in Common Lisp
JobScheduler workload automation to execute jobs and workflows
Unicode XML TEI text analysis platform
Software Unit Tests (Language Independent Approach)
A redefined framework with new approach and methodology for unit test
Open Source for Internet of Things
PyUnit and PyDev extensions for arbitrary Executables
Unified Test and Logging layer for multiple programming languages
a selenium framework
Agilo™ - The Agile Enforcement Office Suite
combinational logic functions minimization
SPIN-based Eclipse Model Checking Plugin
Java Decision Diagrams (BDD) libraries: JDD and JBDD