Genetic Algorithm Implementation for Ada
G2 network server leaf
An Ada Library for UUID generation.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Prototype implementation of LSP client - Visual Studio 2017
Language Server Protocol for Ada
Small Library for Sodoku grid solving / finding
Generic Ada Library for Algorithms and Containers
Ada General Purpose Library -- Miscellaneous utilities
Ada binding to the Z3 Theorem Prover
Chests are bounded containers
Fully functional Hungarian Algorithm implementation in Ada
NBAda - An Ada library of lock-free data structures and algorithms.
The PragmAda Reusable Components
Simple blockchain in Ada
Simple Layer 3 Protocol
Christoph Karl Walter Grein's Smart Pointers