gabriele-galeotti/SweetAda

Ada-language framework

Language: Ada - Size: 29.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 40 - Forks: 5

under-view/meta-adacore

Language: BitBake - Size: 62.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

stahta01/lea Fork of zertovitch/lea

LEA is a Lightweight Editor for Ada

Language: Ada - Size: 4.38 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

stahta01/gnatstudio Fork of AdaCore/gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Language: Ada - Size: 124 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

stahta01/Ada_Drivers_Library Fork of AdaCore/Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Language: Ada - Size: 7.04 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

stahta01/awesome-ada Fork of ohenley/awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

Size: 831 KB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

stahta01/bb-runtimes Fork of AdaCore/bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Size: 4.46 MB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

stahta01/cortex-gnat-rts Fork of simonjwright/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

Size: 2.92 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Shinyhero36/GNAT-Studio-Discord-Integration

A plugin to link GNAT Studio and Discord using Rich Presence

Language: Python - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jlfaucher/mini-Prolog

Port of mini prolog II to Ada-83

Language: HTML - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

stahta01/emulatorkit Fork of HadrienG2/emulatorkit

A set of Ada 2012 x86_64 emulator components

Size: 96.7 KB - Last synced at: 12 months ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0