All Categories → No Category → refinement-types

Top 3 refinement-types open source projects

play-json-refined

Play JSON Reads/Writes instances for refined types

✭ 24

scala json refinement-types

Phantom types for Python.

✭ 120

python Makefile validation static-analysis typing refinement-types mypy phantom-types static-typing refined refined-types

Refined types

✭ 58

haskell refinement-types

1-3 of 3 refinement-types projects