Pinned Repositories
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
cobs
Consistent Overhead Byte Stuffing (COBS)
DW1000
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
dw1000-rssi-tester
Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.
gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
ksum
Generate checksums with Keccak-based algorithms, such as SHA-3.
libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
timely
A tool for verifying if some code is constant time
Turtyl
Turtle graphics app with Lua
tux
SPARK crypto library for constrained embedded systems
damaki's Repositories
damaki/libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
damaki/DW1000
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
damaki/tux
SPARK crypto library for constrained embedded systems
damaki/gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
damaki/dw1000-rssi-tester
Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.
damaki/ksum
Generate checksums with Keccak-based algorithms, such as SHA-3.
damaki/timely
A tool for verifying if some code is constant time
damaki/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
damaki/ravenscar-sfp-evb1000
Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board
damaki/cobs
Consistent Overhead Byte Stuffing (COBS)
damaki/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
damaki/Turtyl
Turtle graphics app with Lua
damaki/alire-index
Community index for the Alire project
damaki/atomic
Standalone binding to GCC atomic built-ins
damaki/bullfrog
Library containing various Ada utilities
damaki/damaki.github.io
damaki/docker-ci
CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux
damaki/EVB1000
SPARK/Ada drivers for the DecaWave EVB1000 evaluation board
damaki/fff
A testing micro framework for creating function test doubles
damaki/gnat_community_install_script
Script to automate the installation of the GNAT Community Installers
damaki/keyless-entry
A secure keyless entry demo
damaki/openwsn-fw
OpenWSN firmware: stuff that runs on a mote
damaki/pico_bsp
Ada BSP for the Raspberry Pi Pico
damaki/pico_examples
Ada examples for the Raspberry Pi Pico
damaki/pico_test
A test project to try out multicore Ada code on the Raspberry Pi Pico
damaki/qemu
QEMU with support for CHERI
damaki/ravenscar-full-evb1000
Full Ada Ravenscar runtime for the DecaWave EVB1000 board
damaki/rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC
damaki/SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
damaki/svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.