ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
ODABA is an terminology-oriented database management system and develo
Open-source code generator for Simulink/Stateflow
Docker container for running Chainer scripts to train and host Chainer
Cellular Automata library for SUPercomputers (CASUP)
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Database to PlantUml or yEd diagrams.
MDA support for Alloy
Model-driven development system and software factory
XJML 1.0 is a platform for Verification and Validation of Java classes