# GitHub repos by EasyCrypt [Home](https://repo.masters-masters.com/en) › [EasyCrypt](https://repo.masters-masters.com/en/owners/EasyCrypt) The public GitHub repo by EasyCrypt in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by EasyCrypt 1 public repo by EasyCrypt in the catalog, most starred first. - [EasyCrypt/easycrypt · ★ 425 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/EasyCrypt/easycrypt) ## See EasyCrypt on GitHub - [https://github.com/EasyCrypt](https://github.com/EasyCrypt) --- Data: GitHub