Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for spark ada
spark-ada
x
5 search results found
Awesome Ada
⭐
543
A curated list of awesome resources related to the Ada and SPARK programming language
Libkeccak
⭐
31
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Saatana
⭐
12
A cryptographic framework, proven for correctness in SPARK
Spat
⭐
10
SPARK Proof Analysis Tool
Havk
⭐
10
An attempt at a minimalistic and secure operating system.
Related Searches
Formal Verification Spark Ada (3)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
