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
63.4%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/haskell
4 repositories tagged #agda
A TierHAHaskell 135
vehicle-lang/vehicle
A toolkit for enforcing logical specifications on neural networks
82.5%
Merge Rate
-
First Review
100%
1st-Timers
11
Maintainers
A TierHAHaskell 2.9k
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
71.1%
Merge Rate
-
First Review
73%
1st-Timers
30
Maintainers
B TierHAHaskell 129
agda/agda-language-server
Language Server for Agda
60.0%
Merge Rate
-
First Review
0%
1st-Timers
2
Maintainers
C TierHAHaskell 192 1 GFIs
agda/cornelis
agda-mode for neovim
40.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers