HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–24 of 34 · Most stars
SPARK 2014 re-implementation of the TweetNaCl crypto library
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
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.
A component to aid in writing shell-like applications in Ada.
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.
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 NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Behavior Driven Development in Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Ada packages for handling SI units of measure
This is an Ada 2012 package that provides an interface to BLAS.
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
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
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
Ada binding to OpenAL which tries to mimic original API while using Ada types.
base58 encoding and decoding in ada