2 results found Sort:

antonagestam
phantom-types antonagestam
9
207
bsd-3-clause
4
Phantom types for Python.
mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types
Created 2020-02-07
246 commits to main branch, last one 8 days ago
tomoikey
refined_type tomoikey
1
72
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 2 months ago