Heisenbug Ltd.

All

11 repositories

Saatana
Public
A cryptographic framework, proven for correctness in SPARK
cryptography ada formal-verification spark-ada ada2012 ada-language spark2014 encryption cryptographic-framework
Ada
•
Do What The F*ck You Want To Public License
•0•13•3•0•Updated Dec 16, 2024Dec 16, 2024
aicwl
Public
Dmitry A. Kazakov's Ada Industrial Control Widget Library
Ada
•
GNU General Public License v2.0
•1•2•0•1•Updated Mar 1, 2024Mar 1, 2024
si_units
Public
Utility library to pretty print physical values in proper metric units
physics utility-library ada ada2012 ada-language formatting-output scale distance digits pressure
Ada
•
Do What The F*ck You Want To Public License
•3•8•1•0•Updated Oct 19, 2020Oct 19, 2020
spat
Public
SPARK Proof Analysis Tool
proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis
Ada
•
Do What The F*ck You Want To Public License
•4•15•3•0•Updated Oct 19, 2020Oct 19, 2020
heisenbugltd.github.io
Public
Organization Page Repository
HTML
•0•0•0•0•Updated Oct 19, 2020Oct 19, 2020
flac-ada
Public
FLAC audio encoder/decoder in SPARK/Ada
formal-verification flac-files spark-ada ada2012
Ada
•
Do What The F*ck You Want To Public License
•0•6•0•0•Updated Jul 3, 2020Jul 3, 2020
alire-index
Public
Community index for the Alire project
Shell
•
GNU General Public License v3.0
•100•0•0•0•Updated Jun 24, 2020Jun 24, 2020
msg_passing
Public
Shared, anonymous mailbox communication between tasks
Ada
•
Do What The F*ck You Want To Public License
•0•0•0•0•Updated Jun 23, 2020Jun 23, 2020
cache-sim
Public
Old shit from the attic. A cache simulator. Most notable feature: It uses "goto" (one).
Ada
•
Do What The F*ck You Want To Public License
•0•0•0•0•Updated Jun 13, 2020Jun 13, 2020
open_weather_map_api
Public
Ada interface to openweathermap API
weather-api ada ada2012 ada-language
Ada
•
Do What The F*ck You Want To Public License
•0•1•2•0•Updated Apr 4, 2020Apr 4, 2020
bareboard-spark
Public
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.
Ada
•
BSD 3-Clause "New" or "Revised" License
•146•0•1•0•Updated Mar 11, 2020Mar 11, 2020