1.apache / groovyApache Groovy: A powerful multi-faceted programming language for the JVM platformgroovyjvm-languagesprogramming-languagemetaprogrammingfunctional-programmingdynamic-typing+3 moreGroovyAPACHE-2.05.5K total1.9K forks+3 starsfrom 5,479 · score 1.39
2.antonagestam / phantom-typesPhantom types for Python.phantom-typesstatic-analysismypypythonstatic-typingtyping+5 morePythonBSD-3-CLAUSE235 total11 forks+2 starsfrom 233 · score 1.10
3.jorenham / optypeOpinionated typing package for precise type hints in Pythonpep484pythonpython-typingnumpystatic-typingtype-inferencePythonBSD-3-CLAUSE98 total11 forks+1 starsfrom 97 · score 0.69