Ecosyste.ms: Packages

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

pypi.org maintainers: aleks0

chyp 0.5.2
An interactive theorem prover for string diagrams
14 versions - Latest release: 12 months ago - 84 downloads last month - 94 stars on GitHub - 1 maintainer