Context-based code search tool

Command-line tool from the Alire project and supporting library

Ada 2022 bindings to SDL 2

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

Parallel Specification and Implementation Language

Thick database bindings to MySQL, PostgreSQL and SQLite for Ada

Tiny Lisp Interpreter Written in Ada

Yet Another Static Site (Generator)

Ada Embedded Network Stack

The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class …

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

Learn Ada by programming Minecraft robots!

A set of Ada components to allow 3D simulations, games and GUI's in Ada.

Ash is an Ada Simple HTTP Server

A compositing X11 window manager and desktop environment

ada privilege escalation

SPARK TOTP library

Ada compiler

Matrix implementation in Ada

A microbit programmed in Ada/SPARK that controls a Zumo 32U4 sumobot over I2C.

The OpenBSD Ada Library - Unveil Pledge

Personal exercise: simple ada socket/http server

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Basic HTTP 1.1 for APIs

Simple state-machine-based HTTP 1.x request parser.

Simple and extensible HTTP library

(WIP) Basic web server veritably containing no stack/heap overflows, memory leaks, null deferences, etc