Popular repositories Loading

1. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

2. containers containers Public

   Forked from rocq-archive/containers

   Containers: a typeclass-based library of finite sets/maps

   Coq

3. kittel-koat kittel-koat Public

   Forked from s-falke/kittel-koat

   KITTeL/KoAT

   OCaml

4. 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

5. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq

6. easycrypt easycrypt Public

   Forked from EasyCrypt/easycrypt

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml