Id Software's Id-tech-4-BFG in the Ada programming language.
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
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
An attempt at a minimalistic and secure operating system.
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Administration tool for Ravenports
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
AdaChess is a smart chess engine written from scratch in the Ada programming language
Boehm GC interface library for gcc-Ada (GNAT)
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Minimal binding to libdl