3 results found Sort:

73
659
cc0-1.0
49
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 2 months 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
421 commits to master branch, last one 3 days ago