Popular repositories Loading

1. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert C verified compiler

   Coq 1

2. productOfPrgs productOfPrgs Public

   Product of Programs construction

   Coq 1 1

3. easycrypt easycrypt Public

   Forked from EasyCrypt/easycrypt

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml

4. boogie boogie Public

   Forked from boogie-org/boogie

   Boogie

   C#

5. spdz spdz Public

   Forked from vitorenesduarte/spdz

   Implementation of the online phase of SPDZ - a MPC protocol - relying on a trusted dealer to generate the data needed from the preprocessing phase

   Java

6. pumping pumping Public

   Forked from mvmramos/pumping

   Coq