# EasyCrypt/easycrypt

<https://repo.masters-masters.com/en/repos/EasyCrypt/easycrypt>

[Home](https://repo.masters-masters.com/en) › [EasyCrypt](https://repo.masters-masters.com/en/owners/EasyCrypt) › [easycrypt](https://repo.masters-masters.com/en/repos/EasyCrypt/easycrypt)

EasyCrypt/easycrypt has 424 stars on GitHub. Its RepoMasters card: Alpha tier. EasyCrypt: Computer-Aided Cryptographic Proofs Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [EasyCrypt](https://repo.masters-masters.com/en/owners/EasyCrypt) |
| Stars | 424 |
| Forks | 68 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | MIT |
| Created | 2015 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [EasyCrypt/easycrypt](https://github.com/EasyCrypt/easycrypt) |

## Repository

EasyCrypt: Computer-Aided Cryptographic Proofs

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in OCaml

- [PataphysicalSociety/soupault · ★ 431 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/PataphysicalSociety/soupault)
- [ott-lang/ott · ★ 428 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/ott-lang/ott)
- [uber/NEAL · ★ 428 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/uber/NEAL)
- [davesnx/styled-ppx · ★ 415 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/davesnx/styled-ppx)
- [raven-ml/raven · ★ 414 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/raven-ml/raven)
- [yallop/ocaml-ctypes · ★ 412 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/yallop/ocaml-ctypes)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.