Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
47,133 repositories indexed
1–24 of 61 · Most stars
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
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
Ada Web Application - Framework to build high performance secure web applications
The Google Protocol Buffers implementation in Ada
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
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
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
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
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
A component to aid in writing shell-like applications in Ada.
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada library and tools for the analysis of Complex Networks and more