Updated : 2018-02-23 00:38:18 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

863
New

/search/repositories?q=language:Agda+created:2018-02-22

1
Increase rate

( New / Total ) * 100

0.12%
Activity
Update

/search/repositories?q=language:Agda+pushed:2018-02-22

7
Update Rate

( Update / Total ) * 100

0.81%
Sleeping

/search/repositories?q=language:Agda+pushed:<2017-02-22

558
Stars
Star 1000+

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

0
Star 100+

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

4
Sum stars of Top 30 repos

sum ( repos.stars )

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

348

Top Star Repos

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

  1. 284
    Learn you an Agda (and achieve enlightenment)
  2. 220
    Development of homotopy type theory in Agda
  3. 143
    The Agda standard library
  4. 107
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  5. 99
    Categories parametrized by morphism equality, in Agda
  6. 72
    ECMAScript back end for Functional Reactive Programming in Agda
  1. 59
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  2. 55
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  3. 53
    Programming library for Agda
  4. 53
    Adaptation of Software Foundations in 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. 40
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  8. 40
    The Spire Programming Language
  9. 40
    A workshop on learning Agda with minimal prerequisites.
  10. 34
    Modeling Ancient Greek Grammar
  11. 32
    Miller/pattern unification in Agda
  12. 31
    An implementation of Functional Reactive Programming
  13. 31
    A formalization of the polymorphic lambda calculus extended with iso-recursive types
  14. 27
    Porting of software foundations book to Agda
  15. 26
    being the notes and materials for CS410 in the 2013/14 academic session
  16. 26
    A Brainfuck interpreter written in Agda
  17. 25
    Observational Type Theory as an Agda library
  18. 24
    Base library for HoTT in Agda
  19. 23
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  20. 22
    being a bidirectional reformulation of Martin-Löf&#39;s 1971 type theory
  21. 21
    The proof of undecidability of halting problem, using the model -- WHILE language.

New Repos

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

Users

Total

/search/users?q=language:Agda

122
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.07