I don't work in Seed7 by Thomas Mertes but it deserves to be better known. https://en.wikipedia.org/wiki/Seed7 https://en.wikipedia.org/wiki/Seed7 It has a So

I don't work in Seed7 by Thomas Mertes but it deserves to be better known. https://en.wikipedia.org/wiki/Seed7 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/ https://seed7.sourceforge.net/ Though there is an old school SourceForge file area with tarballs, the project page also links to a GitHub repo.