gnat
There are 1 repository under gnat topic.
ohenley / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
its-pointless / gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Language:C 486simonjwright / FreeRTOS-Ada
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); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
Language:Ada 75JeremyGrosser / pico_examples
Ada examples for the Raspberry Pi Pico
Language:Ada 38Ada bindings for the notcurses text user interface library
Language:Ada 13- Language:Ada 11
- Language:Ada 10
- Language:C 8
- Language:Ada 8
- Language:Qt Script 8
- Language:Ada 6
Alex-Gamper / Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Language:Ada 5- Language:Ada 3
- Language:C 3
- Language:Dockerfile 3
- Language:Ada 2
LoneWanderer-GH / Samples-GPR-Aggregate-Libs
Tests of GPR aggregates of GPR libraries
Language:Ada 2- Language:C 2
- Language:Rust 2
- Language:BitBake 2
Ada Runtime targeting WinRT (ie compatable with Windows Store)
Language:Ada 1- Language:Ada 1
Documentation for Ada on the Raspberry Pi Pico
Language:HTML 1A game demo for the Pimoroni Picosystem
Language:Ada 1- Language:C 1
OrBin / gnat-programming-studio-docker
Docker image for AdaCore's GNAT Programming Studio (GPS)
Language:Dockerfile 1- Language:Shell 0
Ada bindings for Win32 - Generated from the Win32 Metadata
Language:Ada 0- Language:Ada 0
gabriele-galeotti / SweetAda-toolchains
GNU/GNAT toolchains
0dksmiffs / gnatmake-examples
Minimalist examples for using the GNU gnatmake Ada builder
Language:Ada- Language:Ada
- Language:Ada
- Language:Ada
- Language:Dockerfile
