Keiko Nakata - Tools

Actively maintained (seemingly)

HACL* and EverCrypt

Early phase (seemingly)

Not actively maintained (seemingly)

CertiCrypt Game-based, uses probabilistic relational Hoare logic

Foundational Cryptography Framework

Reference

Jasmin: High-Assurance and High-Speed Cryptography