https://github.com/jasmin-lang/jasmin
Coq179
7 months ago
Language for high-assurance and high-speed cryptography
MIT License