spark-ada
Here are 13 public repositories matching this topic...
Custom search engine for the Ada programming language
-
Updated
Aug 2, 2024 - HTML
An attempt to verify functions from Curve25519 implementation in SPARK2014
-
Updated
Jun 4, 2019 - Ada
FLAC audio encoder/decoder in SPARK/Ada
-
Updated
Jul 3, 2020 - Ada
Minimalist cooperative operating system supporting multiple tasks with MMU protection
-
Updated
Aug 6, 2021 - C
A cryptographic framework, proven for correctness in SPARK
-
Updated
Oct 28, 2024 - Ada
SPARK Proof Analysis Tool
-
Updated
Oct 19, 2020 - Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
-
Updated
Oct 19, 2023 - Ada
A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Oct 13, 2024
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."