GitHub repository: 0xADE1A1DE/CryptOpt
Primary language: TypeScript
Description: CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives