HeisenbugLtd/spat

Stars
15
Rank 1,333,007 (Top 27 %)
Language
Ada
License
Do What The F*ck ...
Created over 4 years ago
Updated over 3 years ago

HeisenbugLtd/spat

HeisenbugLtd

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

SPARK Proof Analysis Tool

Saatana

A cryptographic framework, proven for correctness in SPARK

si_units

Utility library to pretty print physical values in proper metric units

flac-ada

FLAC audio encoder/decoder in SPARK/Ada

aicwl

Dmitry A. Kazakov's Ada Industrial Control Widget Library

open_weather_map_api

Ada interface to openweathermap API