ada2012

There are 1 repository under ada2012 topic.

sdlada
ada-game-framework / sdlada
Ada 2022 bindings to SDL 2
sdl sdl-ttf ada ada2012 bindings gamedev sdl2-image portable-library linux windows macosx game game-development sdl2 sdl2-library
Language:Ada 117
spat
HeisenbugLtd / spat
SPARK Proof Analysis Tool
spark2014 ada2012 formal-verification ada spark-proof-analysis proof spark-ada ada-language gnatprove
Language:Ada 15
Saatana
HeisenbugLtd / Saatana
A cryptographic framework, proven for correctness in SPARK
ada formal-verification cryptographic-framework cryptography ada2012 spark2014 encryption spark-ada ada-language
Language:Ada 13
si_units
HeisenbugLtd / si_units
Utility library to pretty print physical values in proper metric units
ada2012 ada utility-library formatting-output physics si-units ada-language digits pressure scale instantiation convenience distance subprograms
Language:Ada 8
HeisenbugLtd / flac-ada
FLAC audio encoder/decoder in SPARK/Ada
ada2012 spark-ada flac-files formal-verification
Language:Ada 6
Lucretia / jni
Ada bindings to the Java 11 Native Interface API.
ada ada2012 binding-for-java bindings gnat java java-native-interface java11 jni
Language:Ada 6
Lucretia / test_binding
Testing binding to C++ from Ada 2012
ada2012 bindings cplusplus example
Language:Ada 3
Lucretia / uca
Unicode Components for Ada
ada ada2012 unicode utf-8
Language:Ada 3
jquorning / dk_8543
Colletion of Ada packages from Hornslet in Denmark
ada ada2012 packages
Language:Ada 2
Lucretia / lispy
An implementation of a Lisp from Build your own Lisp written in Ada 2012.
lisp gnat mpc ada ada2012 tutorial tutorials tutorial-sourcecode tutorial-exercises port ada-port
Language:C 2
HeisenbugLtd / open_weather_map_api
Ada interface to openweathermap API
ada ada2012 ada-language weather-api
Language:Ada 1
HonkiTonk / Honki-Tonks-Ada-Tutorial
ada learning learning-by-doing ada2012 spark-ada spark2014 tutorial
1
Lucretia / pc_tut
Parser Combinators Tutorial
parser-combinators ada2012 tutorial
Language:Ada 1
HonkiTonk / Honki-Tonks-Programming-Exercises
Some programming exercises written in Ada.
ada ada2012 exercises learning learning-by-doing
Language:Ada 0
HonkiTonk / Honki-Tonks-String-Checker
A small Ada library that performs various checks on strings.
ada ada2012 strings library
Language:Ada 0
HonkiTonk / Honki-Tonks-Test-Rollenspiel
Das erste Spiel das ich angefangen habe zu entwickeln. The first game I started developing in Ada.
ada ada2012 learning-by-doing learning abandoned first-project rpg-game
Language:Ada 0
HonkiTonk / Honki-Tonks-Zivilisationen-Terminalreste
Die Terminalreste meines 4X-Rundenstrategiespiels. The terminal leftovers of my 4X turn-based strategy game.
4x-strategy-game ada ada2012 game-development
Language:Ada 0
Lucretia / fizzbuzz
Ada implementations of fizz buzz
learning ada ada2012 fizzbuzz fizz-buzz example example-code cc0 interview-questions
Language:Ada
Lucretia / net_time
This is an Ada 2012 library that implements the internet time protocol RFC-3339
ada net-time rfc3339 rfc-3339 gnat internet protocol ada2012
Language:Ada