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

Unicode Components for Ada

Ada bindings to the Java 11 Native Interface API.

FLAC audio encoder/decoder in SPARK/Ada

Testing binding to C++ from Ada 2012

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

Colletion of Ada packages from Hornslet in Denmark

No description provided.

Ada interface to openweathermap API

Parser Combinators Tutorial

A small Ada library that performs various checks on strings.

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

Ada implementations of fizz buzz

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

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

Some programming exercises written in Ada.