@EasyCrypt
Guthub

EasyCrypt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    353
  • Global Org. Rank 29,439 (Top 10 %)
  • Registered about 10 years ago
  • Most used languages
    Coq     33.3 %
    OCaml
         33.3 %
    TeX
         33.3 %

Top repositories

1

easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
OCaml
314
star
2

certicrypt

CertiCrypt Coq Framework
Coq
32
star
3

easycrypt-doc

EasyCrypt documentation
TeX
7
star