3 results found Sort:
A curated list of awesome resources related to the Ada and SPARK programming language
Created
2018-10-24
667 commits to master branch, last one about a month 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 3 years ago
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); wor...
Created
2017-07-24
417 commits to master branch, last one 2 months ago