Heisenbug Ltd.

Saatana Public
A cryptographic framework, proven for correctness in SPARK

HeisenbugLtd/Saatana’s past year of commit activity

Ada 14 WTFPL 0 3 0 Updated Dec 16, 2024
aicwl Public
Dmitry A. Kazakov's Ada Industrial Control Widget Library

HeisenbugLtd/aicwl’s past year of commit activity

Ada 3 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 16 WTFPL 5 5 1 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 107 0 0 Updated Jun 24, 2020
msg_passing Public
Shared, anonymous mailbox communication between tasks

HeisenbugLtd/msg_passing’s past year of c 845E ommit 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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Heisenbug Ltd.

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!