antonagestam /phantom-typesPython23511Phantom types for Python.phantom-typesstatic-analysismypypython
JunggiKim /java-refinedJava80Refinement and functional value types for Java 8+functional-programmingjavajava8maven-central