Skip to content
@HeisenbugLtd

Heisenbug Ltd.

Experts in Software Safety
  • Verified

    We've verified that the organization HeisenbugLtd controls the domains:

    • github.heisenbug.eu
    • heisenbug.eu
    Learn more about verified organizations

Pinned Loading

  1. Saatana Saatana Public

    A cryptographic framework, proven for correctness in SPARK

    Ada 13

  2. si_units si_units Public

    Utility library to pretty print physical values in proper metric units

    Ada 8 3

  3. spat spat Public

    SPARK Proof Analysis Tool

    Ada 15 4

Repositories

Showing 10 of 11 repositories
  • Saatana Public

    A cryptographic framework, proven for correctness in SPARK

    HeisenbugLtd/Saatana’s past year of commit activity
    Ada 13 WTFPL 0 3 0 Updated Nov 24, 2024
  • aicwl Public

    Dmitry A. Kazakov's Ada Industrial Control Widget Library

    HeisenbugLtd/aicwl’s past year of commit activity
    Ada 2 GPL-2.0 1 0 1 Updated Mar 1, 2024
  • si_units Public

    Utility library to pretty print physical values in proper metric units

    HeisenbugLtd/si_units’s past year of commit activity
    Ada 8 WTFPL 3 1 0 Updated Oct 19, 2020
  • spat Public

    SPARK Proof Analysis Tool

    HeisenbugLtd/spat’s past year of commit activity
    Ada 15 WTFPL 4 3 0 Updated Oct 19, 2020
  • heisenbugltd.github.io Public

    Organization Page Repository

    HeisenbugLtd/heisenbugltd.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 19, 2020
  • flac-ada Public

    FLAC audio encoder/decoder in SPARK/Ada

    HeisenbugLtd/flac-ada’s past year of commit activity
    Ada 6 WTFPL 0 0 0 Updated Jul 3, 2020
  • alire-index Public Forked from alire-project/alire-index

    Community index for the Alire project

    HeisenbugLtd/alire-index’s past year of commit activity
    Shell 0 GPL-3.0 98 0 0 Updated Jun 24, 2020
  • msg_passing Public

    Shared, anonymous mailbox communication between tasks

    HeisenbugLtd/msg_passing’s past year of commit activity
    Ada 0 WTFPL 0 0 0 Updated Jun 23, 2020
  • cache-sim Public

    Old shit from the attic. A cache simulator. Most notable feature: It uses "goto" (one).

    HeisenbugLtd/cache-sim’s past year of commit activity
    Ada 0 WTFPL 0 0 0 Updated Jun 13, 2020
  • open_weather_map_api Public

    Ada interface to openweathermap API

    HeisenbugLtd/open_weather_map_api’s past year of commit activity
    Ada 1 WTFPL 0 2 0 Updated Apr 4, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…