# EasyCrypt/easycrypt

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

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

EasyCrypt/easycrypt, dépôt open source à 424 étoiles sur GitHub. Carte Alpha de RepoMasters. EasyCrypt: Computer-Aided Cryptographic Proofs Langage : OCaml.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [EasyCrypt](https://repo.masters-masters.com/owners/EasyCrypt) |
| Étoiles | 424 |
| Forks | 68 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | MIT |
| Création | 2015 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [EasyCrypt/easycrypt](https://github.com/EasyCrypt/easycrypt) |

## Fiche du dépôt

EasyCrypt: Computer-Aided Cryptographic Proofs

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts OCaml

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.