Popular repositories Loading

1. lambda-globalize lambda-globalize Public

   Reference implementation for hashing modulo context-sensitive alpha-equivalence

   OCaml 3

2. 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 1 1

3. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for opam, the source package manager of OCaml.

   Shell 1

4. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml 1

5. opam opam Public

   Forked from ocaml/opam

   opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

   OCaml 1

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix