Updated : 2018-08-18 00:38:14 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

989
New

/search/repositories?q=language:Agda+created:2018-08-17

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Agda+pushed:2018-08-17

6
Update Rate

( Update / Total ) * 100

0.61%
Sleeping

/search/repositories?q=language:Agda+pushed:<2017-08-17

621
Stars
Star 1000+

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

0
Star 100+

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

6
Sum stars of Top 30 repos

sum ( repos.stars )

2055
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 )

398

Top Star Repos

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

  1. 288
    Learn you an Agda (and achieve enlightenment)
  2. 234
    Development of homotopy type theory in Agda
  3. 174
    The Agda standard library
  4. 142
    Introduction to programming language theory in Agda.
  5. 138
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  6. 112
    Categories parametrized by morphism equality, in Agda
  1. 72
    ECMAScript back end for Functional Reactive Programming in Agda
  2. 61
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  3. 58
    Programming library for Agda
  4. 55
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  5. 51
    Summer school on programming in Agda
  6. 42
    The Evolution of a Typechecker
  7. 42
    A workshop on learning Agda with minimal prerequisites.
  8. 41
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  9. 41
    The Spire Programming Language
  10. 40
    being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  11. 37
    A formalization of the polymorphic lambda calculus extended with iso-recursive types
  12. 34
    Modeling Ancient Greek Grammar
  13. 34
    Miller/pattern unification in Agda
  14. 33
    Observational Type Theory as an Agda library
  15. 32
    An implementation of Functional Reactive Programming
  16. 31
    A Brainfuck interpreter written in Agda
  17. 29
    Porting of software foundations book to Agda
  18. 29
    The theory of algebraic graphs formalised in Agda
  19. 28
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  20. 27
    Total Parser Combinators in Agda
  21. 27
    being bits and pieces I&#39;m inclined to leave lying around
  22. 27
    Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

New Repos

/search/repositories?q=language:Agda+created:2018-08-17&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Agda

136
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.27