ada-game-framework/sdlada

Ada 2022 bindings to SDL 2

Language: Ada - Size: 907 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 108 - Forks: 36

HeisenbugLtd/Saatana

A cryptographic framework, proven for correctness in SPARK

Language: Ada - Size: 3.37 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 12 - Forks: 0

HeisenbugLtd/si_units

Utility library to pretty print physical values in proper metric units

Language: Ada - Size: 124 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 8 - Forks: 3

HeisenbugLtd/open_weather_map_api

Ada interface to openweathermap API

Language: Ada - Size: 60.5 KB - Last synced: 5 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

HonkiTonk/Honki-Tonks-Ada-Tutorial

Size: 43 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Lucretia/pc_tut 📦

Parser Combinators Tutorial

Language: Ada - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

jquorning/dk_8543

Colletion of Ada packages from Hornslet in Denmark

Language: Ada - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

HonkiTonk/Honki-Tonks-String-Checker

A small Ada library that performs various checks on strings.

Language: Ada - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

HonkiTonk/Honki-Tonks-Programming-Exercises

Some programming exercises written in Ada.

Language: Ada - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Lucretia/uca

Unicode Components for Ada

Language: Ada - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

HonkiTonk/Honki-Tonks-Test-Rollenspiel

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

Language: Ada - Size: 162 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

HonkiTonk/Honki-Tonks-Zivilisationen-Terminalreste

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

Language: Ada - Size: 68.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

HeisenbugLtd/spat

SPARK Proof Analysis Tool

Language: Ada - Size: 3.52 MB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 14 - Forks: 4

HeisenbugLtd/flac-ada

FLAC audio encoder/decoder in SPARK/Ada

Language: Ada - Size: 6.32 MB - Last synced: over 1 year ago - Pushed: almost 4 years ago - Stars: 6 - Forks: 0

Lucretia/test_binding

Testing binding to C++ from Ada 2012

Language: Ada - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 3 - Forks: 0

Lucretia/jni

Ada bindings to the Java 11 Native Interface API.

Language: Ada - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 2

Lucretia/lispy

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

Language: C - Size: 61.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

Lucretia/fizzbuzz

Ada implementations of fizz buzz

Language: Ada - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

Lucretia/net_time

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

Language: Ada - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0