Statistics for language Agda

RepositoryStats tracks 534,879 Github repositories, of these 35 are reported to use a primary language of Agda.

Most starred repositories for language Agda (view more)

plfa
plfa.github.io plfa
300
1.3k
cc-by-4.0
23
An introduction to programming language theory in Agda
book proof-assistant programming-languages
Created 2017-03-10
2,925 commits to dev branch, last one 6 days ago
agda
agda-stdlib agda
234
561
other
31
The Agda standard library
agda proof library
Created 2014-01-17
3,486 commits to master branch, last one 12 days ago
agda
cubical agda
134
436
other
28
An experimental library for Cubical Agda
agda library cubical-type-theory
Created 2018-10-15
2,077 commits to master branch, last one 6 days ago
cedille
cedille cedille
27
362
mit
24
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent-types lambda-calculus programming-language dependent-intersections
Created 2018-06-22
1,817 commits to master branch, last one 2 years ago
agda
agda-categories agda
67
356
mit
24
A new Categories library for Agda
Created 2019-06-01
1,915 commits to master branch, last one 28 days ago
plt-amy
1lab plt-amy
60
312
agpl-3.0
12
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda homotopy-type-theory
Created 2021-12-05
818 commits to main branch, last one 7 days ago

Trending repositories for language Agda (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+2)
agpl-3.0
Last 3 days (relative gain)
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+0.6%)
agpl-3.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+2)
agpl-3.0
martinescardo
martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

217 (+1)
gpl-3.0
plfa
plfa/plfa.github.io

An introduction to programming language theory in Agda

1,340 (+1)
cc-by-4.0
Last week (relative gain)
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+0.6%)
agpl-3.0
martinescardo
martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

217 (+0.5%)
gpl-3.0
plfa
plfa/plfa.github.io

An introduction to programming language theory in Agda

1,340 (+0.1%)
cc-by-4.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+10)
agpl-3.0
plfa
plfa/plfa.github.io

An introduction to programming language theory in Agda

1,340 (+9)
cc-by-4.0
agda
agda/agda-categories

A new Categories library for Agda

356 (+5)
mit
martinescardo
martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

217 (+4)
gpl-3.0
agda
agda/cubical

An experimental library for Cubical Agda

436 (+4)
Last month (relative gain)
jespercockx
jespercockx/agda-core

A work-in-progress core language for Agda, in Agda

26 (+4%)
unlicense
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+3%)
agpl-3.0
martinescardo
martinescardo/TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

217 (+2%)
gpl-3.0
UniMath
UniMath/agda-unimath

The agda-unimath library

211 (+1%)
mit
agda
agda/agda-categories

A new Categories library for Agda

356 (+1%)
mit
Last 12-months (new repositories)
DSLsofMath
DSLsofMath/FPClimate

PhD course on Functional Programming and Climate Impact Research

48
Last 12-months (absolute gain)
plfa
plfa/plfa.github.io

An introduction to programming language theory in Agda

1,340 (+100)
cc-by-4.0
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+85)
agpl-3.0
agda
agda/cubical

An experimental library for Cubical Agda

436 (+65)
UniMath
UniMath/agda-unimath

The agda-unimath library

211 (+59)
mit
DSLsofMath
DSLsofMath/FPClimate

PhD course on Functional Programming and Climate Impact Research

48 (+46)
Last 12-months (relative gain)
jespercockx
jespercockx/agda-core

A work-in-progress core language for Agda, in Agda

26 (+160%)
unlicense
IntersectMBO
IntersectMBO/formal-ledger-specifications

Formal specifications of the cardano ledger

32 (+146%)
apache-2.0
conal
conal/felix

Agda category theory library for denotational design

46 (+39%)
UniMath
UniMath/agda-unimath

The agda-unimath library

211 (+39%)
mit
plt-amy
plt-amy/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

312 (+37%)
agpl-3.0