Ecosyste.ms: Packages

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

pypi.org "abstract-interpretation" keyword

Top 7.4% on pypi.org
pyre-check-nightly 0.0.101713006759
A performant type checker for Python
869 versions - Latest release: about 1 month ago - 3 dependent repositories - 2.78 thousand downloads last month - 6,689 stars on GitHub - 6 maintainers
pyapron 0.6
Python API for numerical abstract domains manipulation
5 versions - Latest release: over 5 years ago - 1 dependent repositories - 20 downloads last month - 4 stars on GitHub - 1 maintainer
Top 1.2% on pypi.org
pyre-check 0.9.21
A performant type checker for Python
71 versions - Latest release: 12 days ago - 25 dependent packages - 279 dependent repositories - 80 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
razor 1.1.2
The OCCAM saga
8 versions - Latest release: about 3 years ago - 1 dependent repositories - 69 downloads last month - 25 stars on GitHub - 2 maintainers
Related Keywords
static-analysis 4 python 3 type-check 2 taint-analysis 2 security 2 program-analysis 2 ocaml 2 control-flow-analysis 2 code-quality 2 development 2 typechecker 2 abstract-domain 1 apron 1 convex-polyhedron 1 numerical-domain 1 debloating 1 delayering 1 llvm 1 partial-evaluators 1 pointer-analysis 1