#Refinement-types

Showing 4 of 4 repositories tagged #refinement-types, ranked by stars

jfecher

ante

A safe, easy systems language

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Refinement Types for Rust

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

Score

★ 77 ⑂ 1 —

Rust