Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
55,140 visible repositories in the index
1–24 of 38 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
SPARK 2014 re-implementation of the TweetNaCl crypto library
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Simple audio synthesis library
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Simple to use cross-platform BDD driver for black box testing
The AURA Reference Implementation
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
Ada library and tools for the analysis of Complex Networks and more
A collections of small nifty demos/sample code that may help better layout data or structure project
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Giza is trying to be a simple widget tool kit for embedded platforms
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language