Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
47,133 repositories indexed
1–24 of 62 · 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.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
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 Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
GNAT Components Collection – Core packages
The Google Protocol Buffers implementation in Ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
The PragmAda Reusable Components
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
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
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
A component to aid in writing shell-like applications in Ada.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
GNAT Components Collection – Bindings to C libraries