Ada 2022 bindings to SDL 2

SPARK Proof Analysis Tool

A cryptographic framework, proven for correctness in SPARK

Utility library to pretty print physical values in proper metric units

Ada bindings to the Java 11 Native Interface API.

FLAC audio encoder/decoder in SPARK/Ada

Unicode Components for Ada

Testing binding to C++ from Ada 2012

Colletion of Ada packages from Hornslet in Denmark

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

Parser Combinators Tutorial

Ada interface to openweathermap API

Ada implementations of fizz buzz

A small Ada library that performs various checks on strings.

Das erste Spiel das ich angefangen habe zu entwickeln. The first game I started developing in Ada.

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

Die Terminalreste meines 4X-Rundenstrategiespiels. The terminal leftovers of my 4X turn-based strategy game.

Some programming exercises written in Ada.