A collections of small nifty demos/sample code that may help better layout data or structure project
Repository Index
47,133 repositories indexed
25–48 of 61 · Most stars
Bingo application in GTKAda
- gtkada
- gnat
- ada
AWS templates engine.
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
Giza is trying to be a simple widget tool kit for embedded platforms
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
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.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Easy to use logging facilities for output to console in Ada programs
Ada General Purpose Library -- Miscellaneous utilities
STM32 UI library and tools
- stm32
- ada
- ui
- display
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
Ada bindings for the player robotic platform
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library