Popular repositories

1. Beluga Beluga Public

   Contextual types meet mechanized metatheory!

   OCaml 178 16

2. Meta Meta Public

   Mechanizing Types and Programming Languages using Beluga

   TeX 17 4

3. McLTT McLTT Public

   A bottom-up approach to a verified implementation of MLTT

   Coq 5 1

4. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   OCaml 1