gneuromante
Joined 2 years ago
Karma
59
Submissions
15
Member since
Jan 2
Recent submissions
Comment · 8 months ago
I think your README lacks some selling points. Why or when should I use Tada instead of Alire or vanilla GPRbuild?
Comment · 9 months ago
Book "Basics on Programming a Canvas for a CAD-System -
Coordinate Systems, Canvas, Zoom, Scrollbars,
Drawing to Scale"
by Mario Blunk
Comment · 10 months ago
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
Comment · 1 year ago
It was the US military who moved backwards.
Comment · 2 years ago
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.
Comment · 2 years ago
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.