Topic · refinement-types

refinement-types

Tracked open-source repos tagged refinement-types, sorted by stars.

Repos

6

Total stars

7,767

Avg. stars

1,295

Share

0.00%

Topics that frequently appear alongside refinement-types on the same repo.

Recent risers

Repos created in the last 90 days, tagged refinement-types.

No new repos tagged with this topic in the last 90 days.

#1
ante ↗@jfecherRust
A safe, easy systems language
★ 2,337+1Star change over the last 7 days
#2
refined ↗@fthomasScala
Refinement types for Scala
★ 1,733+2Star change over the last 7 days
#3
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types For Haskell
★ 1,334+2Star change over the last 7 days
#4
flux ↗@flux-rsRust
Refinement Types for Rust
★ 909+2Star change over the last 7 days
#5
deal ↗@life4Python
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
★ 907+1Star change over the last 7 days
#6
iron ↗@IltotoreScala
Strong type constraints for Scala
★ 554+0Star change over the last 7 days

← Back to topics