ada2012
There are 19 repositories under ada2012 topic.
ada-game-framework/sdlada
Ada 2022 bindings to SDL 2
HeisenbugLtd/spat
SPARK Proof Analysis Tool
HeisenbugLtd/Saatana
A cryptographic framework, proven for correctness in SPARK
HeisenbugLtd/si_units
Utility library to pretty print physical values in proper metric units
Lucretia/uca
Unicode Components for Ada
HeisenbugLtd/flac-ada
FLAC audio encoder/decoder in SPARK/Ada
Lucretia/jni
Ada bindings to the Java 11 Native Interface API.
Lucretia/test_binding
Testing binding to C++ from Ada 2012
jquorning/dk_8543
Colletion of Ada packages from Hornslet in Denmark
Lucretia/lispy
An implementation of a Lisp from Build your own Lisp written in Ada 2012.
HeisenbugLtd/open_weather_map_api
Ada interface to openweathermap API
Lucretia/pc_tut
Parser Combinators Tutorial
HonkiTonk/Honki-Tonks-Programming-Exercises
Some programming exercises written in Ada.
HonkiTonk/Honki-Tonks-String-Checker
A small Ada library that performs various checks on strings.
HonkiTonk/Honki-Tonks-Test-Rollenspiel
Das erste Spiel das ich angefangen habe zu entwickeln. The first game I started developing in Ada.
HonkiTonk/Honki-Tonks-Zivilisationen-Terminalreste
Die Terminalreste meines 4X-Rundenstrategiespiels. The terminal leftovers of my 4X turn-based strategy game.
Lucretia/fizzbuzz
Ada implementations of fizz buzz
Lucretia/net_time
This is an Ada 2012 library that implements the internet time protocol RFC-3339