gnat
There are 37 repositories 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
simonjwright/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)
JeremyGrosser/pico_examples
Ada examples for the Raspberry Pi Pico
Alex-Gamper/Ada-WinRT
Ada bindings for the Microsft WinRT Api
JeremyGrosser/notcursesada
Ada bindings for the notcurses text user interface library
jklmnn/gnat-llvm-xtensa
LLVM based GNAT compiler for Xtensa
jfuica/bingada
Bingo application in GTKAda
thindil/dockerada
Various Docker images related to Ada programming language
apfeltee/c2ada
revised version of c2ada (http://c2ada.sf.net/)
Lucretia/jni
Ada bindings to the Java 11 Native Interface API.
Alex-Gamper/Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Alex-Gamper/Ada-Win32
Ada bindings for the Microsoft Win32 Api
tomekw/ada-gnat
Docker: Ubuntu with GNAT installed
ArdeshirV/HelloAda
HelloAda is very simple application that is written in Ada programming language
lkujaw/gcc3
The GNAT Ada (1995) compiler for UNIX
Lucretia/lispy
An implementation of a Lisp from Build your own Lisp written in Ada 2012.
nsailor/SpaceAda
A small subset of Ada targeting embedded systems.
airgnat11057/crazyrussianhacker
you already know
Alex-Gamper/Ada-WinRT-Runtime
Ada Runtime targeting WinRT (ie compatable with Windows Store)
JeremyGrosser/pico_doc
Documentation for Ada on the Raspberry Pi Pico
JeremyGrosser/the_grid
A game demo for the Pimoroni Picosystem
lkujaw/gcc4
The GNAT Ada (2005) compiler for UNIX
LoneWanderer-GH/Samples-GPR-Aggregate-Libs
Tests of GPR aggregates of GPR libraries
OrBin/gnat-programming-studio-docker
Docker image for AdaCore's GNAT Programming Studio (GPS)
under-view/meta-adacore
[WIP] Layer to enable gcc ada support
Alex-Gamper/Ada-Win32-Metadata
Ada bindings for Win32 - Generated from the Win32 Metadata
ficorax/cfa
CLAP for Ada
gabriele-galeotti/SweetAda-toolchains
GNU/GNAT toolchains
AlmuHS/Practicas_STR
Practicas de Sistemas en Tiempo Real
dksmiffs/gnatmake-examples
Minimalist examples for using the GNU gnatmake Ada builder
Lucretia/net_time
This is an Ada 2012 library that implements the internet time protocol RFC-3339
oniongarlic/afollari
Turku Föllari status printer, in Ada
sushyk/TrafficControlSystem
A simplified Traffic Control System
thindil/docker-gnat
Fork of reznikmm/gnat from Bitbucket