Updated : 2018-04-19 00:38:17 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

906
New

/search/repositories?q=language:Agda+created:2018-04-18

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

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

12
Update Rate

( Update / Total ) * 100

1.32%
Sleeping

/search/repositories?q=language:Agda+pushed:<2017-04-18

577
Stars
Star 1000+

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

0
Star 100+

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

5
Sum stars of Top 30 repos

sum ( repos.stars )

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

361

Top Star Repos

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

  1. 287
    Learn you an Agda (and achieve enlightenment)
  2. 226
    Development of homotopy type theory in Agda
  3. 154
    The Agda standard library
  4. 121
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  5. 103
    Categories parametrized by morphism equality, in Agda
  6. 72
    ECMAScript back end for Functional Reactive Programming in Agda
  1. 60
    Adaptation of Software Foundations in Agda
  2. 59
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  3. 55
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  4. 53
    Programming library for Agda
  5. 51
    Summer school on programming in Agda
  6. 41
    being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  7. 41
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  8. 41
    A workshop on learning Agda with minimal prerequisites.
  9. 40
    The Spire Programming Language
  10. 34
    Modeling Ancient Greek Grammar
  11. 33
    Miller/pattern unification in Agda
  12. 33
    Observational Type Theory as an Agda library
  13. 31
    An implementation of Functional Reactive Programming
  14. 31
    The Evolution of a Typechecker
  15. 31
    A formalization of the polymorphic lambda calculus extended with iso-recursive types
  16. 29
    A Brainfuck interpreter written in Agda
  17. 28
    Porting of software foundations book to Agda
  18. 26
    being the notes and materials for CS410 in the 2013/14 academic session
  19. 25
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  20. 23
    Base library for HoTT in Agda
  21. 23
    being a bidirectional reformulation of Martin-Löf&#39;s 1971 type theory

New Repos

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

Users

Total

/search/users?q=language:Agda

127
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.13