damaki Goto Github PK

alire-index

Community index for the Alire project

atomic

Standalone binding to GCC atomic built-ins

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

bullfrog

Library containing various Ada utilities

cobs

Consistent Overhead Byte Stuffing (COBS)

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

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.

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

gnatprove2xls

Convert GNATprove report files to an XLS spreadsheet

keyless-entry

A secure keyless entry demo

ksum

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

led-cube

An 8x8x8 LED Cube

libkeccak

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

mbedtls

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

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

ravenscar-sfp-evb1000

Small footprint 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.

timely

A tool for verifying if some code is constant time

turtyl

Turtle graphics app with Lua