Topic · agda

agda

Tracked open-source repos tagged agda, sorted by stars.

Repos

3

Total stars

4,161

Avg. stars

1,387

Share

0.00%

Topics that frequently appear alongside agda on the same repo.

Recent risers

Repos created in the last 90 days, tagged agda.

No new repos tagged with this topic in the last 90 days.

#1
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,922+3Star change over the last 7 days
#2
agda-stdlib ↗@agdaAgda
The Agda standard library
★ 675+0Star change over the last 7 days
#3
cubical ↗@agdaAgda
An experimental library for Cubical Agda
★ 567+2Star change over the last 7 days

← Back to topics