3 results found Sort:

ohenley
awesome-ada ohenley
72
696
cc0-1.0
49
A curated list of awesome resources related to the Ada and SPARK programming language
ada gnat spark awesome spark-ada ada-binding ada-library ada-language ada-programs awesome-list ada-framework
Created 2018-10-24
671 commits to master branch, last one 9 days ago
its-pointless
gcc_termux its-pointless
76
480
unknown
37
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
ada ecl gcc vlc gnat julia ocaml scipy octave opencv pascal rakudo rstats termux android fortran mongodb julialang command-line gcc-complier
Created 2016-10-10
149 commits to master branch, last one 3 years ago
simonjwright
FreeRTOS-Ada simonjwright
16
69
gpl-3.0
13
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...
ada rts gnat rtos cortex risc-v
Created 2017-07-24
406 commits to master branch, last one 10 days ago