SHA-3 and other Keccak related algorithms in SPARK/Ada.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Genetic Algorithm Implementation for Ada
Fully functional Hungarian Algorithm implementation in Ada