Popular repositories

1. PLFA-zh PLFA-zh Public

   《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

   Haskell 184 21

2. agda agda Public

   Forked from agda/agda

   用作文档目的，翻译方式见 Issue #2

   Haskell 1

3. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda

4. cubical cubical Public

   Forked from agda/cubical

   Agda

5. gentle-intro-to-reflection gentle-intro-to-reflection Public

   Forked from alhassy/gentle-intro-to-reflection

   A slow-paced introduction to reflection in Agda. ---Tactics!

   Agda