Popular repositories Loading

1. git git Public

   Forked from git/git

   Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

   C 2

2. mtac-plugin mtac-plugin Public

   Forked from beta-ziliani/mtac-plugin

   Plugin for Coq 8.5

   Coq

3. archlinux-community archlinux-community Public

   Forked from roman-neuhauser/arch-community

   Arch Linux Community Packages, git clone of the 'community' repository. (Mirror of projects.archlinux.org/svntogit/community.git)

   Shell

4. cubical-demo cubical-demo Public

   Forked from Saizan/cubical-demo

   Agda

5. OrdinalNotations OrdinalNotations Public

   Forked from cj-xu/OrdinalNotations

   An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

   Agda

6. EPIT-2020 EPIT-2020 Public

   Forked from HoTT/EPIT-2020

   EPIT 2020 - Spring School on Homotopy Type Theory

   Agda