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–21 of 21 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
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
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
AWS templates engine.
AdaChess is a smart chess engine written from scratch in the Ada programming language
Software controller for solenoid engines (Ada/STM32F4)
Easy to use logging facilities for output to console in Ada programs
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.
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
- weechat
- weechat-plugin
- ada
- emoji
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
- weechat-plugin
- canberra
- ada
- weechat
a estensible template engine.
Embedded logging absent of runtime errors