Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Matreshka Project
NBAda - An Ada library of lock-free data structures and algorithms.
Ada binding for OpenGL/WebGL
Ada library and tools for the analysis of Complex Networks and more
Bingo application in GTKAda
- gtkada
- gnat
- ada
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
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
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
Web UI on Ada
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.