0xADE1A1DE / CryptOpt

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
https://0xade1a1de.github.io/CryptOpt/
Apache License 2.0
58 stars 11 forks source link