Topic Hub
#agda (4 Repositories)
Ranked open-source repositories tagged with #agda, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
51.2%
Avg Review Latency
11.9h
Filter by language
Rankings/rankings/haskell
4 repositories tagged #agda
A TierHAHaskell 130
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
86.7%
Merge Rate
7h
First Review
86%
1st-Timers
9
Maintainers
A TierHAHaskell 2.9k
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
78.2%
Merge Rate
23h
First Review
67%
1st-Timers
27
Maintainers
B TierHAHaskell 186 1 GFIs
agda/cornelis
agda-mode for neovim
40.0%
Merge Rate
17h
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 127
agda/agda-language-server
Language Server for Agda
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers