HeisenbugLtd/Saatana HeisenbugLtd/Saatana

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    Ada
  • License
    Do What The F*ck ...
  • Created about 7 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HeisenbugLtd/Saatana
github

HeisenbugLtd

Reviews

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

Repository Details

A cryptographic framework, proven for correctness in SPARK

More Repositories

1

spat

SPARK Proof Analysis Tool
Ada
15
star
2

si_units

Utility library to pretty print physical values in proper metric units
Ada
8
star
3

flac-ada

FLAC audio encoder/decoder in SPARK/Ada
Ada
6
star
4

aicwl

Dmitry A. Kazakov's Ada Industrial Control Widget Library
Ada
2
star
5

open_weather_map_api

Ada interface to openweathermap API
Ada
1
star