Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
Repository Index
47,133 repositories indexed
73–96 of 149 · Most stars
An Ada Library for UUID generation.
- uuid
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
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
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
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
NBAda - An Ada library of lock-free data structures and algorithms.
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
An Ada 2012 package to parse command line arguments and options
ada privilege escalation
libsodium for Ada - A secure cryptographic library
Ada client library for ROS2/RCL
Ada library and tools for the analysis of Complex Networks and more
Ada interface to the readline library
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
AWS templates engine.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI