Standard Ada library specification as defined in Reference Manual
Repository Index
77,852 visible repositories in the index
25–48 of 68 · Most stars
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Administration tool for Ravenports
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
A component to aid in writing shell-like applications in Ada.
The Corporate Bullshit Generator
- ada
- fun
- text-generation
- ada-language
An Ada Library for UUID generation.
- uuid
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
GNAT Components Collection – Bindings to C libraries
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
An Ada 2012 package to parse command line arguments and options
ada privilege escalation
A collections of small nifty demos/sample code that may help better layout data or structure project
Bingo application in GTKAda
- gtkada
- gnat
- ada
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files