SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
NBAda - An Ada library of lock-free data structures and algorithms.
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
This is an Ada 2012 package that provides an interface to BLAS.
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Trivial implementation of fletcher_16 sum computation algorithm.