A curated list of awesome resources related to the Ada and SPARK program...
Naive performance comparison of a few programming languages (JavaScript,...
Gcc for termux with fortran scipy etc... Use apt for newest updates inst...
Cross-Platform GUI Toolkit (stable)
SDL2 examples, for 25+ different programming languages
Command-line tool from the Alire project and supporting library
Id Software's Id-tech-4-BFG in the Ada programming language.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a p...
Ada 2022 bindings to SDL 2
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Formal specification and generation of verifiable binary parsers, messag...
Ada Web Application - Framework to build high performance secure web app...
Mirror of a roguelike in sky with a steampunk setting
Thick Ada binding for OpenGL and GLFW
Ada Bare Bones OS development tutorial source code