Popular repositories Loading

1. nominal-hott nominal-hott Public

   Experiments with nominal types in HoTT Agda

   Agda 9 3

2. cubical-hott-agda cubical-hott-agda Public

   Version of the HoTT-Agda library based on Cubical Agda

   7 1

3. git-vim git-vim Public

   Forked from motemen/git-vim

   My vim files for Git

   Vim Script 1

4. homebrew homebrew Public

   Forked from Homebrew/legacy-homebrew

   The missing package manager for OS X.

   Ruby 1

5. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda 1 2

6. prtt prtt Public

   A type checker for primitive recursive type theory (prtt)

   1