While I can't comment on this system (but I'm going to have a look at it), a very mature and similar system is gap ( www.gap-system.org, github.com/gap-system/g

While I can't comment on this system (but I'm going to have a look at it), a very mature and similar system is gap ( www.gap-system.org, github.com/gap-system/gap ). It uses a custom python-ish language (it actually pre-dates Python by quite a few years, and has some very interesting features in the type system, hence why it uses a custom language)