Updated : 2020-07-06 00:41:11 UTC

Respositories

Counts
Total

/search/repositories?q=language:Agda

1471
New

/search/repositories?q=language:Agda+created:2020-07-05

1
Increase rate

( New / Total ) * 100

0.07%
Activity
Update

/search/repositories?q=language:Agda+pushed:2020-07-05

19
Update Rate

( Update / Total ) * 100

1.29%
Sleeping

/search/repositories?q=language:Agda+pushed:<2019-07-05

1013
Stars
Star 1000+

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

0
Star 100+

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

12
Sum stars of Top 30 repos

sum ( repos.stars )

4124
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

2
Sum forks of Top 30 repos

sum ( repos.forks )

691

Top Star Repos

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

  1. 773
    Introduction to programming language theory in Agda
  2. 322
    Development of homotopy type theory in Agda
  3. 303
    The Agda standard library
  4. 303
    Learn you an Agda (and achieve enlightenment)
  5. 274
    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  6. 188
    being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  1. 183
    An experimental library for Cubical Agda
  2. 164
    An introductory course to Homotopy Type Theory
  3. 149
    Lecture notes on univalent foundations of mathematics with Agda
  4. 136
    Categories parametrized by morphism equality, in Agda
  5. 120
    A new Categories library for Agda
  6. 103
    My slides and notes
  7. 95
    Programming library for Agda
  8. 85
    ECMAScript back end for Functional Reactive Programming in Agda
  9. 78
    《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
  10. 68
    Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
  11. 63
    Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  12. 62
    being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  13. 62
    A workshop on learning Agda with minimal prerequisites.
  14. 61
    Companion code for &quot;Why Dependent Types Matter&quot; paper.
  15. 57
    Summer school on programming in Agda
  16. 56
    Miller/pattern unification in Agda
  17. 53
    Inline, type safe X86-64 assembly programming in Agda
  18. 53
    The Spire Programming Language
  19. 53
    The theory of algebraic graphs formalised in Agda
  20. 50
    A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  21. 50
    Total Parser Combinators in Agda
  22. 48
    Agda proofs for some of the theorems in Robert Harper&#39;s Practical Foundations of Programming Languages.
  23. 46
    Cartesian Cubical Type Theory

New Repos

/search/repositories?q=language:Agda+created:2020-07-05&sort=stars&order=desc&per_page=12

  • 0
    Agda code for the structures presented in the book "Purely Functional Data Structures" by Chris Okasaki, as well as the verification of some properties.

Users

Total

/search/users?q=language:Agda

170
Followers 100+

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

0
Repos per User

repos.Total / users.Total

8.65