← Explore by area

Cluster 633687

3 repos

Haskell · 1

OCaml · 1

Rocq Prover · 1

Related clusters

Coq/Rocq Proof Formalization & Type Theory38 Haskell package ecosystem and tooling29 Formal verification of cryptographic code22 Cluster 63359527 Cluster 6365913 Cluster 6374852

EasyCrypt/easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml

416

5,368 commits

GaloisInc/cryptol

Cryptol: The Language of Cryptography

Haskell

1,221

4,483 commits

adampetcher/fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Rocq Prover

57

77 commits