Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "type-check" keyword

Top 4.1% on proxy.golang.org
github.com/facebook/pyre-check v0.9.19
Performant type-checking for python.
84 versions - Latest release: 8 months ago - 1 dependent repositories - 6,285 stars on GitHub
Related Keywords
abstract-interpretation 1 code-quality 1 control-flow-analysis 1 ocaml 1 program-analysis 1 python 1 security 1 static-analysis 1 taint-analysis 1 typechecker 1