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

Personal exercise: simple ada socket/http server

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 …

Ada Embedded Network Stack

ada privilege escalation

Ash is an Ada Simple HTTP Server

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

Simple and extensible HTTP library

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

Tiny Lisp Interpreter Written in Ada

A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.