A curated list of awesome resources related to the Ada and SPARK program...
Gcc for termux with fortran scipy etc... Use apt for newest updates inst...
This project contains various GNAT Ada Run Time Systems (RTSs) targeted ...