2 results found Sort:

antonagestam
phantom-types antonagestam
9
211
bsd-3-clause
3
Phantom types for Python.
mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types
Created 2020-02-07
247 commits to main branch, last one about a month ago
tomoikey
refined_type tomoikey
1
73
mit
1
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
rust crate safety library crates-io rust-lang validation type-library refined-types static-typing refinement-types runtime-validation
Created 2023-11-11
368 commits to main branch, last one 3 months ago