Here are some recent updates to our Free Tools and Libraries page:
April 25, 2018: Added Ada WinRT, bindings for the Microsoft WinRT API.
Added FMT, a set of extension packages that turn Mathematica into a software
engineering IDE that generates formally-proven Ada source code.
November 15, 2017: Added LEA, a Lightweight Editor for Ada.
August 31, 2017: Added AdaYAML, an experimental library for handling YAML files.
August 1, 2017: Added a thick binding to the Redland Raptor RDF Syntax library.
Added a link to CodingGround, which allows compiling Ada programs online.
(This post will be periodically updated – Webmaster.)