SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
71,372 visible repositories in the index
1–17 of 17 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
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
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
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
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
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
Distributed Simulation of Transport Networks
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet
SANCTA multi-robot task allocation library