Dépôts de agda
7 dépôts publics de agda au catalogue, du plus étoilé au moins étoilé.
- agda/agdaÉtoiles : 2 962HaskellRC
- agda/agda-stdlibÉtoiles : 679AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- agda/agda2hsÉtoiles : 210AgdaPrototype
- agda/cornelisÉtoiles : 195HaskellPrototype
- agda/agda-language-serverÉtoiles : 130HaskellPrototype