Popular repositories Loading

1. oraclemodality oraclemodality Public

   Agda 12

2. higher-computability higher-computability Public

   Agda 7

3. nielsenschreier-hott nielsenschreier-hott Public

   A formalisation of the finite index Nielsen-Schreier theorem in homotopy type theory.

   Agda 2

4. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda 2 2

5. awswan.github.io awswan.github.io Public

   HTML

6. KataGo KataGo Public

   Forked from lightvector/KataGo

   GTP engine and self-play learning in Go

   C++