Viewing profile — gneuromante

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://git…

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 a…

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/proje…