Repos by damaki

damaki / repos

17 repos

«12»
RepoLanguageStarsRank
damaki/libkeccak on GithublibkeccakAda3367
damaki/DW1000 on GithubDW1000Ada12201
damaki/tux on GithubtuxAda5401
damaki/gnatprove2xls on Githubgnatprove2xlsPython4694,944
damaki/ksum on GithubksumAda3657
damaki/timely on GithubtimelyPython3726,585
damaki/ravenscar-sfp-evb1000 on Githubravenscar-sfp-evb1000Ada2990
damaki/dw1000-rssi-tester on Githubdw1000-rssi-testerAda2893
damaki/LED-Cube on GithubLED-CubeC++1845,071
damaki/cobs on GithubcobsAda11,258