Topic Hub
#refinement-types (5 Repositories)
Ranked open-source repositories tagged with #refinement-types, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
61.2%
Avg Review Latency
0.0h
Filter by language
5 repositories tagged #refinement-types
A TierHAHaskell 1.3k
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
89.8%
Merge Rate
-
First Review
57%
1st-Timers
11
Maintainers
A TierRust 927
flux-rs/flux
Refinement Types for Rust
70.8%
Merge Rate
-
First Review
55%
1st-Timers
10
Maintainers
A TierRust 2.4k 2 GFIs
jfecher/ante
A safe, easy systems language
85.2%
Merge Rate
-
First Review
75%
1st-Timers
2
Maintainers
B TierScala 1.7k
fthomas/refined
Refinement types for Scala
60.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
D TierScala 560 2 GFIs
Iltotore/iron
Strong type constraints for Scala
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers