This is stars and forks stats for /EasyCrypt/easycrypt repository. As of 19 Apr, 2024 this repository has 246 stars and 45 forks.
EasyCrypt: Computer-Aided Cryptographic Proofs EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. Table of Contents EasyCrypt: Computer-Aided Cryptographic Proofs Installation requirements Via OPAM Installing requirements using OPAM (POSIX systems) Installing requirements using OPAM (non-POSIX systems) Via NIX Configuring Why3 Note on prover...
EasyCrypt: Computer-Aided Cryptographic Proofs EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. Table of Contents EasyCrypt: Computer-Aided Cryptographic Proofs Installation requirements Via OPAM Installing requirements using OPAM (POSIX systems) Installing requirements using OPAM (non-POSIX systems) Via NIX Configuring Why3 Note on prover...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
monroewilliams/trackball | COpenSCADC++ | 158 | 0 | 5 | 0 |
coolbutuseless/tickle | RTclC | 119 | 0 | 2 | 0 |
MathiasHarrer/Doing-Meta-Analysis-in-R | RTeXHTML | 278 | 0 | 171 | 0 |
lenguaje-latino/latino | Rich Text FormatInno SetupCMake | 414 | 0 | 49 | 0 |
uclid-org/uclid5-ssft22 | PythonSlashShell | 2 | 0 | 1 | 0 |
scalikejdbc/scalikejdbc | ScalaOther | 1.2k | +1 | 223 | 0 |
EmielH/tale-hugo | SCSSHTMLJavaScript | 246 | 0 | 120 | 0 |
htpcBeginner/docker-traefik | Shell | 2.2k | 0 | 544 | 0 |
mingmingge891/FXMinerProxy | Shell | 128 | 0 | 23 | 0 |
solo-io/gloo-install | SmartyShell | 1 | 0 | 6 | 0 |