3 results found Sort:

71
593
cc0-1.0
50
A curated list of awesome resources related to the Ada and SPARK programming language
Created 2018-10-24
659 commits to master branch, last one 9 days ago
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Created 2016-10-10
149 commits to master branch, last one 2 years ago
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (...
Created 2017-07-24
393 commits to master branch, last one 3 months ago