Updated : 2018-10-23 00:38:14 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

1033
New

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

3
Increase rate

( New / Total ) * 100

0.29%
Activity
Update

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

11
Update Rate

( Update / Total ) * 100

1.06%
Sleeping

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

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

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

409

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. 247
    Development of homotopy type theory in Agda
  3. 225
    Introduction to programming language theory in Agda
  4. 191
    The Agda standard library
  5. 150
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  6. 119
    Categories parametrized by morphism equality, in Agda
  1. 84
    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  2. 74
    ECMAScript back end for Functional Reactive Programming in Agda
  3. 61
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  4. 60
    Programming library for Agda
  5. 56
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  6. 54
    Open-source books I&#39;ve written
  7. 52
    Summer school on programming in Agda
  8. 44
    A workshop on learning Agda with minimal prerequisites.
  9. 42
    The Evolution of a Typechecker
  10. 41
    being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  11. 41
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  12. 41
    The Spire Programming Language
  13. 37
    A formalization of the polymorphic lambda calculus extended with iso-recursive types
  14. 34
    Modeling Ancient Greek Grammar
  15. 34
    Miller/pattern unification in Agda
  16. 33
    Observational Type Theory as an Agda library
  17. 32
    An implementation of Functional Reactive Programming
  18. 32
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  19. 31
    A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  20. 31
    Porting of software foundations book to Agda
  21. 31
    A Brainfuck interpreter written in Agda
  22. 30
    Total Parser Combinators in Agda

New Repos

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

  • 0
    A library of provable programs in Agda for natural numbers in binary representation
  • 0
    Programming Language Foundations in Agda
  • 0
    A library of provable programs in Agda for natural numbers in binary representation

Users

Total

/search/users?q=language:Agda

137
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.54