SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Ada Database Objects
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Easy to use logging facilities for output to console in Ada programs
Ada General Purpose Library -- Miscellaneous utilities
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Stream utilities for Ada2022.
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size