Search

Find trending repositories by name or description.

2 results for “agda”

RankRepository7 daysStars24h gainScore

banacorn/agda-mode-vscode

ReScript#6125 overall

agda-mode on VS Code

7 daysStars19024h gain0Score0.0

Haskell#11564 overall

Agda is a dependently typed programming language / interactive theorem prover.

7 daysStars2.9k24h gain-Score0.0