Matreshka Project
Repository Index
47,133 repositories indexed
25–48 of 60 · Most stars
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
ada privilege escalation
libsodium for Ada - A secure cryptographic library
A collections of small nifty demos/sample code that may help better layout data or structure project
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.
SPARK TOTP library
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
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Ada packages for handling SI units of measure
Easy to use logging facilities for output to console in Ada programs
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
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
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Ada implementation of D’Hondt electoral result calculator
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs