SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
67,762 visible repositories in the index
1–23 of 23 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
- ada
- vulkan
- game-engine
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
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
The Google Protocol Buffers implementation in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Apache Kafka Ada client library, based off of librdkafka
libsodium for Ada - A secure cryptographic library
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada OpenGL Framework
Easy to use logging facilities for output to console in Ada programs
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Convenience subprograms to interact with C strings
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
Embedded logging absent of runtime errors
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada