damaki/timely damaki/timely

  • Stars
    star
    1
  • Language
    Ada
  • License
    Apache License 2.0
  • Created 10 months ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
damaki/timely
github

damaki

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tool for verifying if some code is constant time

More Repositories

1

libkeccak

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

DW1000

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

gnatprove2xls

Convert GNATprove report files to an XLS spreadsheet
Python
4
star
4

ksum

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

ravenscar-sfp-evb1000

Small footprint Ada Ravenscar runtime for the DecaWave EVB1000 board
Ada
2
star
6

dw1000-rssi-tester

Tool to measure the RSSI, and communication range and reliability of the DecaWave DW1000.
Ada
2
star
7

cobs

Consistent Overhead Byte Stuffing (COBS)
Ada
1
star
8

LED-Cube

An 8x8x8 LED Cube
C++
1
star