Popular repositories Loading

1. pigmentoj pigmentoj Public

   Modules for Pygments

   Python 1

2. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

3. containers containers Public

   Forked from rocq-archive/containers

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

   Coq

4. kittel-koat kittel-koat Public

   Forked from s-falke/kittel-koat

   KITTeL/KoAT

   OCaml

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

6. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq