Updated : 2019-04-20 00:38:15 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

1159
New

/search/repositories?q=language:Agda+created:2019-04-19

1
Increase rate

( New / Total ) * 100

0.09%
Activity
Update

/search/repositories?q=language:Agda+pushed:2019-04-19

7
Update Rate

( Update / Total ) * 100

0.60%
Sleeping

/search/repositories?q=language:Agda+pushed:<2018-04-19

740
Stars
Star 1000+

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

0
Star 100+

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

7
Sum stars of Top 30 repos

sum ( repos.stars )

2913
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

0
Sum forks of Top 30 repos

sum ( repos.forks )

495

Top Star Repos

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

  1. 500
    Introduction to programming language theory in Agda
  2. 291
    Learn you an Agda (and achieve enlightenment)
  3. 267
    Development of homotopy type theory in Agda
  4. 230
    The Agda standard library
  5. 165
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  6. 161
    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  1. 123
    Categories parametrized by morphism equality, in Agda
  2. 83
    ECMAScript back end for Functional Reactive Programming in Agda
  3. 80
    Open-source books I&#39;ve written
  4. 73
    Programming library for Agda
  5. 60
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  6. 57
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  7. 55
    Summer school on programming in Agda
  8. 51
    A workshop on learning Agda with minimal prerequisites.
  9. 47
    Miller/pattern unification in Agda
  10. 47
    The Spire Programming Language
  11. 43
    The Evolution of a Typechecker
  12. 42
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  13. 41
    Lecture notes on univalent foundations of mathematics with Agda
  14. 40
    Total Parser Combinators in Agda
  15. 40
    The theory of algebraic graphs formalised in Agda
  16. 39
    being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  17. 38
    A formalization of the polymorphic lambda calculus extended with iso-recursive types
  18. 38
    A Brainfuck interpreter written in Agda
  19. 36
    Modeling Ancient Greek Grammar
  20. 36
    A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  21. 35
    Observational Type Theory as an Agda library

New Repos

/search/repositories?q=language:Agda+created:2019-04-19&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Agda

138
Followers 100+

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

0
Repos per User

repos.Total / users.Total

8.40