Context-based code search tool

Simple Turn-based Game

Command-line tool from the Alire project and supporting library

Id Software's Id-tech-4-BFG in the Ada programming language.

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

Ada 2022 bindings to SDL 2

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Ada Web Application - Framework to build high performance secure web applications

Thick Ada binding for OpenGL and GLFW

Ada Bare Bones OS development tutorial source code

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

PowerJoular allows monitoring power consumption of multiple platforms and processes.

A secure and high performances microkernel for building secure MCU-based IoTs

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

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)

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

Ada WASM Runtime and Bindings for Web API

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.

Ada drivers for the Raspberry Pi RP2040 SoC