refinement-types topic

List refinement-types repositories

LSTS

99
Stars
3
Forks
Watchers

Large Scale Type Systems (programming language)

verified publisher icon andrew-johnson-4

flux

565
Stars
17
Forks
Watchers

Refinement Types for Rust

verified publisher icon flux-rs