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
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.
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Boehm GC interface library for gcc-Ada (GNAT)
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada