Popular repositories Loading

1. fiat-crypto fiat-crypto Public

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Rocq Prover

2. bedrock2 bedrock2 Public

   Forked from mit-plv/bedrock2

   A work-in-progress language and compiler for verified low-level programming

   Rocq Prover

3. mbedtls mbedtls Public

   Forked from Mbed-TLS/mbedtls

   An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …

   C

4. stdlib stdlib Public

   Forked from rocq-prover/stdlib

   Stdlib for the Rocq Prover

   Rocq Prover

5. coqutil coqutil Public

   Forked from mit-plv/coqutil

   Coq library for tactics, basic definitions, sets, maps

   Rocq Prover