47,133 repositories indexed
A repository shows when it has any selected Tag.
No Tag matches.
Filters
1–1 of 1 · Most stars
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014