Popular repositories Loading

1. fiat-crypto fiat-crypto Public

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Coq 4 2

2. by-inversion by-inversion Public

   Coq 1 1

3. hacspec hacspec Public

   Forked from hacspec/hacspec

   A specification language for cryptography primitives.

   Rust 1

4. electionguard-rust electionguard-rust Public

   Forked from Concordium/electionguard-rust

   CURRENTLY EXPERIMENTAL Rust implementation of the ElectionGuard system

   Rust 1

5. math-comp math-comp Public

   Forked from math-comp/math-comp

   Mathematical Components

   Coq

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml