Giters
Heisenbug Ltd. (HeisenbugLtd)

Heisenbug Ltd.

HeisenbugLtd

Geek Repo

Experts in Software Safety

Location:Brussels, Belgium

Home Page:https://github.heisenbug.eu

Github PK Tool:Github PK Tool

Heisenbug Ltd.'s repositories

spat

SPARK Proof Analysis Tool

Language:AdaLicense:WTFPLStargazers:15Issues:8Issues:30

Saatana

A cryptographic framework, proven for correctness in SPARK

Language:AdaLicense:WTFPLStargazers:12Issues:4Issues:15

si_units

Utility library to pretty print physical values in proper metric units

Language:AdaLicense:WTFPLStargazers:8Issues:2Issues:4

flac-ada

FLAC audio encoder/decoder in SPARK/Ada

Language:AdaLicense:WTFPLStargazers:6Issues:3Issues:0

aicwl

Dmitry A. Kazakov's Ada Industrial Control Widget Library

Language:AdaLicense:GPL-2.0Stargazers:2Issues:2Issues:0

open_weather_map_api

Ada interface to openweathermap API

Language:AdaLicense:WTFPLStargazers:1Issues:3Issues:2

alire-index

Community index for the Alire project

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

bareboard-spark

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT. This is supposed to become a SPARK based, provable implementation targeted at the STM32F4xx Cortex-M4 series.

Language:AdaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:1

cache-sim

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

Language:AdaLicense:WTFPLStargazers:0Issues:2Issues:0

heisenbugltd.github.io

Organization Page Repository

Language:HTMLStargazers:0Issues:2Issues:0

msg_passing

Shared, anonymous mailbox communication between tasks

Language:AdaLicense:WTFPLStargazers:0Issues:2Issues:0