SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
47,133 repositories indexed
1–7 of 7 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Simple audio synthesis library
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Ada bindings for libsoundio
A standalone lightweight auxiliary CLI video player support for BlackVideo.
Ada bindings to NanoVG