An Ada 2012 package to parse command line arguments and options
Repository Index
73,362 visible repositories in the index
25–48 of 51 · Most stars
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada client library for ROS2/RCL
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
Behavior Driven Development in Ada
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
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
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
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
A pure Ada implementation of the SipHash PRF (mirror repository).