Daniel King (@damaki)
github

damaki

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    57
  • Global Rank 301,424 (Top 11 %)
  • Followers 29
  • Following 24
  • Registered about 13 years ago
  • Most used languages
    Ada
         77.8 %
    Python
         11.1 %
    C++
         11.1 %
  • Location ๐Ÿ‡ฌ๐Ÿ‡ง United Kingdom
  • Country Total Rank 12,616
  • Country Ranking
    Ada
         4
    C++
         5,934

Top 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
9

timely

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