ohenley/awesome-ada

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

Size: 879 KB - Last synced at: about 17 hours ago - Pushed at: about 1 month ago - Stars: 708 - Forks: 73

JeremyGrosser/pico_examples

Ada examples for the Raspberry Pi Pico

Language: Ada - Size: 265 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 36 - Forks: 10

its-pointless/gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

Language: C - Size: 805 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 480 - Forks: 76

JeremyGrosser/pico_doc

Documentation for Ada on the Raspberry Pi Pico

Language: HTML - Size: 8.98 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1

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)

Language: Ada - Size: 3.48 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 69 - Forks: 16

ficorax/cfa

CLAP for Ada

Language: Ada - Size: 386 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

OrBin/gnat-programming-studio-docker

Docker image for AdaCore's GNAT Programming Studio (GPS)

Language: Dockerfile - Size: 1.95 KB - Last synced at: about 6 hours ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

nsailor/SpaceAda

A small subset of Ada targeting embedded systems.

Language: Rust - Size: 26.4 KB - Last synced at: 28 days ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

jfuica/bingada

Bingo application in GTKAda

Language: Ada - Size: 3.51 MB - Last synced at: 9 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 2

JeremyGrosser/notcursesada

Ada bindings for the notcurses text user interface library

Language: Ada - Size: 1.04 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0

thindil/dockerada 📦

Various Docker images related to Ada programming language

Language: Qt Script - Size: 39.1 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 0

thindil/docker-gnat Fork of jklmnn/docker-gnat 📦

Fork of reznikmm/gnat from Bitbucket

Language: Dockerfile - Size: 6.84 KB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Lucretia/jni

Ada bindings to the Java 11 Native Interface API.

Language: Ada - Size: 9.77 KB - Last synced at: 15 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 2

Alex-Gamper/Ada-WinRT

Ada bindings for the Microsft WinRT Api

Language: Ada - Size: 8.19 MB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 12 - Forks: 2

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

Alex-Gamper/Ada-Win32

Ada bindings for the Microsoft Win32 Api

Language: Ada - Size: 2.35 MB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

lkujaw/gcc4

The GNAT Ada (2005) compiler for UNIX

Language: C - Size: 333 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

lkujaw/gcc3

The GNAT Ada (1995) compiler for UNIX

Language: C - Size: 142 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

LoneWanderer-GH/Samples-GPR-Aggregate-Libs

Tests of GPR aggregates of GPR libraries

Language: Ada - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

apfeltee/c2ada

revised version of c2ada (http://c2ada.sf.net/)

Language: C - Size: 1.33 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

Alex-Gamper/Ada-WinRT-Runtime

Ada Runtime targeting WinRT (ie compatable with Windows Store)

Language: Ada - Size: 22.3 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

Alex-Gamper/Ada-Mingw64

Language: Shell - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Alex-Gamper/Ada-Win32-Metadata

Ada bindings for Win32 - Generated from the Win32 Metadata

Language: Ada - Size: 14.9 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

rkoeninger/life

Conway's Game of Life

Language: Ada - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

sushyk/TrafficControlSystem

A simplified Traffic Control System

Language: Ada - Size: 16.6 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tomekw/ada-gnat

Docker: Ubuntu with GNAT installed

Language: Dockerfile - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

Alex-Gamper/Ada-NetFramework

Ada bindings to the Microsoft NetFramework Api

Language: Ada - Size: 14.1 MB - Last synced at: 9 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

jklmnn/gnat-llvm-xtensa Fork of AdaCore/gnat-llvm

LLVM based GNAT compiler for Xtensa

Language: Ada - Size: 8.22 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

JeremyGrosser/the_grid

A game demo for the Pimoroni Picosystem

Language: Ada - Size: 34.2 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

oniongarlic/afollari

Turku Föllari status printer, in Ada

Language: Ada - Size: 4.88 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Lucretia/lispy

An implementation of a Lisp from Build your own Lisp written in Ada 2012.

Language: C - Size: 61.5 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

ArdeshirV/HelloAda

HelloAda is very simple application that is written in Ada programming language

Language: Ada - Size: 16.6 KB - Last synced at: about 11 hours ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

Lucretia/net_time

This is an Ada 2012 library that implements the internet time protocol RFC-3339

Language: Ada - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

dksmiffs/gnatmake-examples

Minimalist examples for using the GNU gnatmake Ada builder

Language: Ada - Size: 106 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

AlmuHS/Practicas_STR

Practicas de Sistemas en Tiempo Real

Language: Ada - Size: 4.35 MB - Last synced at: 9 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0