A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Jun 20, 2022
#
spark-ada
Here are 12 public repositories matching this topic...
SHA-3 and other Keccak related algorithms in SPARK/Ada.
hash-functions
keccak
ada
ascon
gimli
sha-3
shake128
shake256
sponge-construction
spark-ada
kangarootwelve
kmac
tuplehash
cshake
parallelhash
marsupilamifourteen
ketje
-
Updated
Jun 7, 2022 - Ada
SPARK Proof Analysis Tool
proof
ada
formal-verification
gnatprove
spark-ada
ada2012
ada-language
spark2014
spark-proof-analysis
-
Updated
Oct 19, 2020 - Ada
Mein Rundenstrategiespiel (Civilization-Klon), geschrieben in Ada/SPARK.
learning
game-development
game-2d
ada
civilization
learning-by-doing
4x-strategy-game
spark-ada
ada2012
spark2014
-
Updated
Jul 13, 2022 - Ada
A cryptographic framework, proven for correctness in SPARK
cryptography
encryption
ada
formal-verification
spark-ada
ada2012
ada-language
cryptographic-framework
spark2014
-
Updated
Jul 15, 2022 - Ada
Minimalist cooperative operating system supporting multiple tasks with MMU protection
embedded
operating-system
ada
sparc
mmu
microkernel
spark-ada
cooperative-multitasking
moth
separation-kernel
leon3
spark2014
ada-spark
-
Updated
Aug 6, 2021 - C
FLAC audio encoder/decoder in SPARK/Ada
-
Updated
Jul 3, 2020 - Ada
An attempt to verify functions from Curve25519 implementation in SPARK2014
-
Updated
Jun 4, 2019 - Ada
Improve this page
Add a description, image, and links to the spark-ada topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the spark-ada topic, visit your repo's landing page and select "manage topics."