jfecher / ante

A safe, easy systems language

fthomas / refined

Refinement types for Scala

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

flux-rs / flux

Refinement Types for Rust

Iltotore / iron

Strong type constraints for Scala