Stars
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Mathpaqs: a collection of mathematical packages in pure Ada
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
GitHub Action to check author permision on Alire crate files
GitHub action to setup an Ada/SPARK dev environment
GitHub action to setup Alire (the Ada/SPARK package manager)
Open source files from the Parasail 8 release
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development…
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
All pull requests will be accepted. Let's see where it goes!
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Generate checksums with Keccak-based algorithms, such as SHA-3.
SHA-3 and other Keccak related algorithms in SPARK/Ada.