Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
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
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Software controller for solenoid engines (Ada/STM32F4)
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.
Code generator for Tiled the map editor
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Convenience subprograms to interact with C strings
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size