I think your README lacks some selling points. Why or when should I use Tada instead of Alire or vanilla GPRbuild?

Book "Basics on Programming a Canvas for a CAD-System - Coordinate Systems, Canvas, Zoom, Scrollbars, Drawing to Scale" by Mario Blunk

I've released a new version of CoAP_SPARK, my formally verified implementation of this IoT protocol. The implementation language is SPARK, the verifiable subset of Ada. https://github.com/mgrojo/coap_spark

It was the US military who moved backwards.

Twelve new systems languages, and one that dates to the Carter administration Posted on March 22, 2023

Here’s a non-exhaustive rundown of newish systems languages: notable things about them related to safety and syntax.

The active development of GNOGA occurs in https://github.com/Blady-Com/gnoga

Don't know the relation to the official repository, which might still be: https://sourceforge.net/projects/gnoga/ but Blady-Com is the current most active developer in both.