Comment by kazinator

I don't work in Seed7 by Thomas Mertes but it deserves to be better known.

https://en.wikipedia.org/wiki/Seed7

It has a SourceForge page that actually doesn't suck and you will not hate landing into, unlike almost anything else SourceForge:

https://seed7.sourceforge.net/

Though there is an old school SourceForge file area with tarballs, the project page also links to a GitHub repo.