spark-ada

There are 14 repositories under spark-ada topic.

ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
695 49 1872
damaki/libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Language:Ada34 5 83
RavSS/HAVK
An attempt at a minimalistic and secure operating system.
Language:Ada26 4 11
HeisenbugLtd/spat
SPARK Proof Analysis Tool
Language:Ada16 9 325
HeisenbugLtd/Saatana
A cryptographic framework, proven for correctness in SPARK
Language:Ada14 3 150
jcdubois/moth
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Language:C9 4 14
HeisenbugLtd/flac-ada
FLAC audio encoder/decoder in SPARK/Ada
Language:Ada6 3 00
amineelalaoui/Spark-Ada-Compiler
Basic spark ada 2012 Compiler
Language:C5 1 01
damaki/gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
Language:Python4 2 00
joffreyhuguet/curve25519-spark2014
An attempt to verify functions from Curve25519 implementation in SPARK2014
Language:Ada3 1 01
mgrojo/adasearch
Custom search engine for the Ada programming language
Language:HTML2 3 10
mgrojo/coap_spark
Formally verified implementation of the CoAP protocol in SPARK/Ada
Language:Ada20
HonkiTonk/Honki-Tonks-Ada-Tutorial
1 1 00
lkujaw/blake2s
The BLAKE2s hash function for SPARK83 [Ada (1987)]
Language:Ada1 1 11