gnat-ada

There are 0 repository under gnat-ada topic.

SweetAda
gabriele-galeotti / SweetAda
Ada-language framework
ada ada-language arm avr embedded embedded-system gnat-ada m68k microblaze mips nios2 powerpc risc-v s390 sh4 sparc x86 x86-64 neorv32 openrisc
Language:Ada 30
jlfaucher / mini-Prolog
Port of mini prolog II to Ada-83
alain-colmerauer anatomie-de-prolog gnat-ada michel-van-caneghem mini-prolog prolog-heritage retrocomputing
Language:HTML 0
under-view / meta-adacore
ada gnat gnat-ada openembedded yocto
Language:BitBake 0
stahta01 / Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
gnat-ada
Language:Ada
stahta01 / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
gnat-ada
stahta01 / bb-runtimes
Source repository for the GNAT Bare Metal BSPs
gnat-ada
Language:Ada
stahta01 / 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
gnat-ada
Language:Ada
stahta01 / emulatorkit
A set of Ada 2012 x86_64 emulator components
gnat-ada
Language:Ada
stahta01 / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gnat-ada
Language:Ada
stahta01 / lea
LEA is a Lightweight Editor for Ada
gnat-ada
Language:Ada

gabriele-galeotti / SweetAda