HeisenbugLtd/spat HeisenbugLtd/spat

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Ada
  • License
    Do What The F*ck ...
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HeisenbugLtd/spat
github

HeisenbugLtd

Reviews

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

Repository Details

SPARK Proof Analysis Tool

More Repositories

1

Saatana

A cryptographic framework, proven for correctness in SPARK
Ada
13
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