Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
47,133 repositories indexed
1–24 of 58 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Source repository for the GNAT Bare Metal BSPs
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
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Simple to use cross-platform BDD driver for black box testing
An attempt at a minimalistic and secure operating system.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
The AURA Reference Implementation
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
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 binding for the Pebble Time smartwatch
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada