Heisenbug Ltd. (@HeisenbugLtd)
Guthub

HeisenbugLtd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    44
  • Global Org. Rank 83,436 (Top 27 %)
  • Registered over 8 years ago
  • Most used languages
    Ada
         100.0 %
  • Location 🇧🇪 Belgium
  • Country Total Rank 1,742
  • Country Ranking
    Ada
         1

Top repositories

1

spat

SPARK Proof Analysis Tool
Ada
15
star
2

Saatana

A cryptographic framework, proven for correctness in SPARK
Ada
12
star
3

si_units

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

flac-ada

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

aicwl

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

open_weather_map_api

Ada interface to openweathermap API
Ada
1
star