An Alire index to build ada_language_server

A bare metal SDK for the ESP32 & ESP32C3

An unofficial installer for Alire

The OpenGL 4.6 Rendering Kernel in Ada 2022

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

macOS cross compiler toolchains

Tool for building an AppImage from an Alire crate

TLS 1.3 Implementation in SPARK

Ada Framework for programming of Arduino Due board

Phoenix Hexapod Experiments

ada privilege escalation

GitHub public roadmap

Tooling for analysis and manipulation of Ada software

An extension for VS Code that visualizes data during debugging.

Ada User Community Input Working Group - Github Mirror Prototype

Ada grammar for tree-sitter

Build android apps without any java, entirely in C and Make

Matreshka Project

An Open Source Community site for Ada

Ada binding to the SFML library

NVIDIA Jetson Nano LED Linux driver experiment in Ada

An Ada binding generator from SVD descriptions for bare board ARM devices.

Matreshka is Ada framework to develop information systems

GitHub action to setup Alire (the Ada/SPARK package manager)

Native debugging for VSCode

GitHub action to publish your VS Code Extension to the Open VSX Registry or Visual Studio Marketplace.

Command-line tool from the Alire project and supporting library

Wrap plain TCP traffic into SSL

Ada on RP2040 proof of concept