Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Repository Index
83,087 visible repositories in the index
1–24 of 40 · Most stars
William Whitaker's WORDS, a Latin dictionary
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
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
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
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
A G-code parser and CNC controller (in Ada)
An Ada 2012 library for parsing JSON
- ada
- json-ada
- json
The Google Protocol Buffers implementation in Ada
Ada-bindings for 0mq
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
TOML parser for 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
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Ethernet traffic monitor on a STM32F746 board
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.
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
An Ada 2012 package to parse command line arguments and options
AWS templates engine.
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
The repository host gives no description.