An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Repository Index
81,588 visible repositories in the index
73–96 of 125 · Most stars
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
Ada finite-state machine generator.
Giza is trying to be a simple widget tool kit for embedded platforms
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada
Behavior Driven Development in Ada
A SDL front end in Ada for libgade
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
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
Software controller for solenoid engines (Ada/STM32F4)
Ada OpenGL Framework
A Button Mania game written in Ada
- ada
- game
- gtkada
Ada General Purpose Library -- Miscellaneous utilities
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
A simple 3DS Max model renderer
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