Updated : 2020-01-29 00:41:08 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

1335
New

/search/repositories?q=language:Agda+created:2020-01-28

1
Increase rate

( New / Total ) * 100

0.07%
Activity
Update

/search/repositories?q=language:Agda+pushed:2020-01-28

11
Update Rate

( Update / Total ) * 100

0.82%
Sleeping

/search/repositories?q=language:Agda+pushed:<2019-01-28

890
Stars
Star 1000+

/search/repositories?q=language:Agda+stars:>=1000

0
Star 100+

/search/repositories?q=language:Agda+stars:>=100

9
Sum stars of Top 30 repos

sum ( repos.stars )

3662
Forks
Fork 1000+ Repos

/search/repositories?q=language:Agda+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Agda+forks:>=100

2
Sum forks of Top 30 repos

sum ( repos.forks )

610

Top Star Repos

/search/repositories?q=language:Agda&sort=stars&order=desc&per_page=30

  1. 687
    Introduction to programming language theory in Agda
  2. 310
    Development of homotopy type theory in Agda
  3. 299
    Learn you an Agda (and achieve enlightenment)
  4. 275
    The Agda standard library
  5. 243
    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  6. 181
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  1. 150

  2. 133
    Categories parametrized by morphism equality, in Agda
  3. 122
    Lecture notes on univalent foundations of mathematics with Agda
  4. 97
    Open-source books I&#39;ve written
  5. 85
    ECMAScript back end for Functional Reactive Programming in Agda
  6. 82
    Programming library for Agda
  7. 82
    A new Categories library
  8. 64
    A workshop on learning Agda with minimal prerequisites.
  9. 63
    《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
  10. 61
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  11. 61
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  12. 59
    Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
  13. 56
    Summer school on programming in Agda
  14. 54
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  15. 52
    The Spire Programming Language
  16. 51
    Miller/pattern unification in Agda
  17. 50
    The theory of algebraic graphs formalised in Agda
  18. 48
    A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  19. 48
    Total Parser Combinators in Agda
  20. 48
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  21. 45
    This project is to contain a listing of common theorems in elementary category theory.
  22. 45
    The Evolution of a Typechecker

New Repos

/search/repositories?q=language:Agda+created:2020-01-28&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Agda

155
Followers 100+

/search/users?q=language:Agda+followers:>=100

0
Repos per User

repos.Total / users.Total

8.61