damaki

libkeccak

SHA-3 and other Keccak related algorithms in SPARK/Ada.

DW1000

A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.

tux

SPARK crypto library for constrained embedded systems

gnatprove2xls

Convert GNATprove report files to an XLS spreadsheet

ksum

Generate checksums with Keccak-based algorithms, such as SHA-3.

timely

A tool for verifying if some code is constant time

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

dw1000-rssi-tester

Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.

ravenscar-sfp-evb1000

Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board

cobs

Consistent Overhead Byte Stuffing (COBS)

mbedtls

An open source, portable, easy to use, readable and flexible SSL library

Turtyl

Turtle graphics app with Lua

alire-index

Community index for the Alire project

atomic

Standalone binding to GCC atomic built-ins

damaki.github.io

docker-ci

CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux

EVB1000

SPARK/Ada drivers for the DecaWave EVB1000 evaluation board

fff

A testing micro framework for creating function test doubles

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

keyless-entry

A secure keyless entry demo

openwsn-fw

OpenWSN firmware: stuff that runs on a mote

pico_bsp

Ada BSP for the Raspberry Pi Pico

pico_examples

Ada examples for the Raspberry Pi Pico

pico_test

A test project to try out multicore Ada code on the Raspberry Pi Pico

qemu

QEMU with support for CHERI

ravenscar-full-evb1000

Full Ada Ravenscar runtime for the DecaWave EVB1000 board

rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC

SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library

svd2ada

An Ada binding generator from SVD descriptions for bare board ARM devices.

Verhoeff

Verhoeff check digit algorithm in SPARK/Ada