EasyCrypt: Computer-Aided Cryptographic Proofs
EasyCrypt/easycrypt has 420 GitHub stars.
It currently ranks #11106 daily, #12191 weekly, #15742 monthly by momentum on Trending Repos; its best-ever rank is #985.
Trending Repos first recorded it on May 31, 2026.