spark-ada

There are 5 repositories under spark-ada topic.

ohenley / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
awesome ada spark ada-framework ada-language ada-programs ada-binding gnat spark-ada ada-library awesome-list
574
damaki / libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
ada ascon cshake gimli hash-functions kangarootwelve keccak ketje kmac marsupilamifourteen parallelhash sha-3 shake128 shake256 spark-ada sponge-construction tuplehash
Language:Ada 33
RavSS / HAVK
An attempt at a minimalistic and secure operating system.
ada osdev operating-system kernel security spark-ada
Language:Ada 24
spat
HeisenbugLtd / spat
SPARK Proof Analysis Tool
ada ada-language ada2012 formal-verification gnatprove proof spark-ada spark-proof-analysis spark2014
Language:Ada 15
Saatana
HeisenbugLtd / Saatana
A cryptographic framework, proven for correctness in SPARK
ada formal-verification cryptographic-framework cryptography ada2012 spark2014 encryption spark-ada ada-language
Language:Ada 12
jcdubois / moth
Minimalist cooperative operating system supporting multiple tasks with MMU protection
moth mmu sparc cooperative-multitasking embedded operating-system microkernel separation-kernel ada ada-spark spark2014 leon3 spark-ada
Language:C 8
HeisenbugLtd / flac-ada
FLAC audio encoder/decoder in SPARK/Ada
ada2012 spark-ada flac-files formal-verification
Language:Ada 6
amineelalaoui / Spark-Ada-Compiler
Basic spark ada 2012 Compiler
ada compiler compiler-design spark-ada
Language:C 5
damaki / gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
gnatprove spark-ada
Language:Python 4
joffreyhuguet / curve25519-spark2014
An attempt to verify functions from Curve25519 implementation in SPARK2014
curve25519 verification spark-ada formal-verification formal-methods cryptography
Language:Ada 3
HonkiTonk / Honki-Tonks-Ada-Tutorial
ada learning learning-by-doing ada2012 spark-ada spark2014 tutorial
1
lkujaw / blake2s
The BLAKE2s hash function for SPARK83 [Ada (1987)]
blake2 blake2s ada hash mit-license ada1987 spark-ada
Language:Ada 1