GIMI was quite impressive as well, also including its own programming language, but also getting some heavy-lifting weight from a handful of tools written in ot

GIMI was quite impressive as well, also including its own programming language, but also getting some heavy-lifting weight from a handful of tools written in other languages: https://sourceforge.net/projects/gimi/ https://sourceforge.net/projects/gimi/