Statistics for language Agda

RepositoryStats tracks 618,347 Github repositories, of these 40 are reported to use a primary language of Agda.

Most starred repositories for language Agda (view more)

330
1.4k
cc-by-4.0
25
An introduction to programming language theory in Agda
Created 2017-03-10
2,993 commits to dev branch, last one 4 days ago
244
601
other
29
The Agda standard library
Created 2014-01-17
3,584 commits to master branch, last one a day ago
142
468
other
28
An experimental library for Cubical Agda
Created 2018-10-15
2,097 commits to master branch, last one 7 days ago
A new Categories library for Agda
Created 2019-06-01
1,977 commits to master branch, last one 15 hours ago
27
371
mit
24
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Created 2018-06-22
1,817 commits to master branch, last one 3 years ago
71
359
agpl-3.0
13
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Created 2021-12-05
872 commits to main branch, last one 4 days ago

Trending repositories for language Agda (view more)