damaki/ksum damaki/ksum

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Ada
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
damaki/ksum
github

damaki

Reviews

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

Repository Details

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

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

ravenscar-sfp-evb1000

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

dw1000-rssi-tester

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

cobs

Consistent Overhead Byte Stuffing (COBS)
Ada
1
star
7

LED-Cube

An 8x8x8 LED Cube
C++
1
star
8

timely

Tool for verifying if some code is constant time
Ada
1
star