Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with spark-ada
A curated list of projects in awesome lists tagged with spark-ada .
https://github.com/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
Last synced: 26 Oct 2024
https://github.com/RavSS/HAVK
An attempt at a minimalistic and secure operating system.
ada kernel operating-system osdev security spark-ada
Last synced: 25 Oct 2024
https://mgrojo.github.io/adasearch/
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 28 Nov 2024
https://github.com/mgrojo/adasearch
Custom search engine for the Ada programming language
ada custom-search-google search-engine spark spark-ada
Last synced: 27 Oct 2024
https://github.com/lkujaw/blake2s
The BLAKE2s hash function for SPARK83 [Ada (1987)]
ada ada1987 blake2 blake2s hash mit-license spark-ada
Last synced: 26 Oct 2024
