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 449simonjwright / cortex-gnat-rts
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 (v1)
Language:Ada 60JeremyGrosser / pico_examples
Ada examples for the Raspberry Pi Pico
Language:Ada 28- Language:Ada 12
Ada bindings for the notcurses text user interface library
Language:Ada 11- Language:Ada 9
- Language:Ada 8
- Language:Qt Script 8
- Language:C 6
- Language:Ada 6
Alex-Gamper / Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Language:Ada 5- Language:Ada 3
- Language:Dockerfile 3
- Language:Ada 2
- Language:C 2
- Language:C 2
Ada Runtime targeting WinRT (ie compatable with Windows Store)
Language:Ada 1Documentation for Ada on the Raspberry Pi Pico
Language:HTML 1A game demo for the Pimoroni Picosystem
Language:Ada 1- Language:C 1
LoneWanderer-GH / Samples-GPR-Aggregate-Libs
Tests of GPR aggregates of GPR libraries
Language:Ada 1- Language:Rust 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
- Language:BitBake 0
- Language:Ada
dksmiffs / gnatmake-examples
Minimalist examples for using the GNU gnatmake Ada builder
Language:Ada- Language:Ada
- Language:Ada
- Language:Ada
- Language:Ada
- Language:Dockerfile
