Bingo application in GTKAda
- gtkada
- gnat
- ada
Repository Index
47,133 repositories indexed
49–72 of 89 · Most stars
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
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
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
Behavior Driven Development in Ada
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Mars Polar Lander Simulation
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Ada bindings for libsoundio
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
G2 network server leaf
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.