AlphaUncommon
EasyCrypt/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
- Owner
- EasyCrypt (organization)
- Stars
- Stars: 424
- Forks
- Forks: 68
- Language
- OCaml
- License
- MIT
- Created
- 2015
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in OCaml
All OCaml repos- PataphysicalSociety/soupaultStars: 431OCamlAlpha
- ott-lang/ottStars: 428OCamlAlpha
- uber/NEALStars: 428OCamlAlpha
- davesnx/styled-ppxStars: 415OCamlAlpha
- raven-ml/ravenStars: 414OCamlAlpha
- yallop/ocaml-ctypesStars: 412OCamlAlpha