Topic Hub
#refinement-types (4 Repositories)
Ranked open-source repositories tagged with #refinement-types, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
56.5%
Avg Review Latency
43.9h
Filter by language
4 repositories tagged #refinement-types
A TierScala 1.7k
fthomas/refined
Refinement types for Scala
70.2%
Merge Rate
2d
First Review
100%
1st-Timers
3
Maintainers
A TierRust 906
flux-rs/flux
Refinement Types for Rust
72.5%
Merge Rate
21h
First Review
55%
1st-Timers
12
Maintainers
A TierHAHaskell 1.3k
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
83.3%
Merge Rate
4d
First Review
50%
1st-Timers
10
Maintainers
D TierScala 554
Iltotore/iron
Strong type constraints for Scala
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers