STOTP

SPARK TOTP library

7 stars

4 watching

1 forks

Language: Ada

last commit: almost 6 years ago

Linked from 1 awesome list

2fa2fa-securityadabase32formal-verificationhotpsparktotp

Backlinks from these awesome lists:

ohenley/awesome-ada