GitHub repos by agda
7 public repos by agda in the catalog, most starred first.
- agda/agdaStars: 2,964HaskellRC
- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- agda/agda2hsStars: 210AgdaPrototype
- agda/cornelisStars: 195HaskellPrototype
- agda/agda-language-serverStars: 130HaskellPrototype