Back to trending
Rankings
Daily
#6677
0
Weekly
#12332
0
Monthly
#17563
0
Engagement
Total stars
Daily new stars
Get badge
Add a Trending Repos badge to your README
This repository is tracked by Trending Repos. The badge upgrades automatically the moment it cracks the top 100 — set it once and forget it.
Markdown — paste into your README
[](https://trending-repos.com/repositories/EasyCrypt/easycrypt)HTML
<a href="https://trending-repos.com/repositories/EasyCrypt/easycrypt"><img src="https://trending-repos.com/badge/EasyCrypt/easycrypt.svg" alt="Trending Repos" /></a>Raw image URL
https://trending-repos.com/badge/EasyCrypt/easycrypt.svg