SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
GEneric Sprite and Tile Engine
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
AWS templates engine.
AdaChess is a smart chess engine written from scratch in the Ada programming language
Software controller for solenoid engines (Ada/STM32F4)
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
a estensible template engine.