William Whitaker's WORDS, a Latin dictionary
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
GNAT Components Collection – Core packages
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Collection of basic math routines in Ada
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
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
GNAT Components Collection – Bindings to C libraries
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
A collections of small nifty demos/sample code that may help better layout data or structure project
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Supports functional testing using Tcl scripts.
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash