STOTP
TOTP library
A time-based one-time pad implementation library for two-factor authentication
SPARK TOTP library
8 stars
4 watching
1 forks
Language: Ada
last commit: about 6 years ago
Linked from 1 awesome list
2fa2fa-securityadabase32formal-verificationhotpsparktotp
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jltorresm/otpgo | Provides an implementation of algorithms for generating one-time passwords | 71 |
 kspearrin/otp.net | An implementation of TOTP and HOTP algorithms in C# for generating one-time passwords. | 1,101 |
 dashbitco/nimble_totp | Generates Time-Based One-Time Passwords (TOTP) for 2-factor authentication. | 410 |
 rod-chapman/sparknacl | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 115 |
 lachlanbell/swiftotp | A Swift library for generating time-based and counter-based one-time passwords for two-factor authentication | 286 |
| jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 philnash/crotp | A Crystal library for generating one-time passwords for two-factor authentication | 63 |
 jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
 wstrange/googleauth | A Java library implementing Time-based One-time Password (TOTP) algorithm | 1,047 |
| jklmnn/microtempi | A Raspberry Pi project using the BBC Micro:Bit to monitor temperature with Ada programming | 2 |
 jbakic/shielded | A software transactional memory implementation for .NET with strong guarantees on safety and thread-safety | 241 |
 fasterxml/jackson-module-kotlin | Adds support for serialization and deserialization of Kotlin classes and data classes to the Jackson JSON library | 1,127 |
 robstoll/atrium | A multiplatform expectation assertion library for Kotlin | 572 |
 lkujaw/blake2s | Implementation of the BLAKE2s hash function in Ada for secure data integrity and authenticity verification. | 1 |
| jklmnn/wiringpi-ada | Ada bindings for the wiringPi GPIO library | 0 |