Ecosyste.ms: Packages

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

pypi.org "ATP" keyword

arroba 0.5
Python implementation of Bluesky PDS and AT Protocol, including repo, MST, and sync methods
5 versions - Latest release: 2 months ago - 55 downloads last month - 40 stars on GitHub - 1 maintainer
icc.atp 0.0.2
Automatic Theorem Proving wrapper for Python
2 versions - Latest release: over 10 years ago - 3 dependent repositories - 7 downloads last month - 1 maintainer
lexrpc 0.0.0
Python implementation of AT Protocol's XRPC + Lexicon
8 versions - Latest release: over 1 year ago - 1 dependent package - 3 dependent repositories - 343 downloads last month - 37 stars on GitHub - 1 maintainer
Related Keywords
AT Protocol 2 arroba 1 Bluesky 1 automatic 1 theorem 1 proving 1 proof 1 first-order 1 logics 1 XRPC 1 Lexicon 1