Ecosyste.ms: Packages

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

pypi.org maintainers: slivingston

gr1py 0.3.1
enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
6 versions - Latest release: almost 2 years ago - 3 dependent repositories - 402 downloads last month - 12 stars on GitHub - 1 maintainer
Top 0.8% on pypi.org
control 0.10.0
Python Control Systems Library
19 versions - Latest release: 2 months ago - 39 dependent packages - 312 dependent repositories - 106 thousand downloads last month - 1,587 stars on GitHub - 5 maintainers
Top 5.6% on pypi.org
polytope 0.2.5
Polytope Toolbox
11 versions - Latest release: 3 months ago - 6 dependent packages - 16 dependent repositories - 1.25 thousand downloads last month - 66 stars on GitHub - 3 maintainers
mistygrind 0.3.0
a tool for static analysis of Misty skills and offboard Misty REST API clients
4 versions - Latest release: over 4 years ago - 1 dependent repositories - 17 downloads last month - 2 stars on GitHub - 1 maintainer
sphinx-docslab 0.1.0
Sphinx docslab extension for interactive code
1 version - Latest release: 2 months ago - 6 downloads last month - 1 stars on GitHub - 1 maintainer
Top 9.0% on pypi.org
omega 0.4.0
Symbolic algorithms for solving games of infinite duration.
19 versions - Latest release: 4 months ago - 2 dependent packages - 9 dependent repositories - 507 downloads last month - 45 stars on GitHub - 3 maintainers
bhand 0.1.0
command-line interface and Python package for the Brunel Hand by Open Bionics
4 versions - Latest release: over 6 years ago - 1 dependent repositories - 19 downloads last month - 2 stars on GitHub - 1 maintainer
hardshare 0.10.1
client (CLI and daemon) for the hardshare protocol
19 versions - Latest release: over 3 years ago - 1 dependent repositories - 63 downloads last month - 15 stars on GitHub - 1 maintainer
fmrb 0.0.4
benchmark problems for research in formal methods for robotics
5 versions - Latest release: about 8 years ago - 2 dependent repositories - 22 downloads last month - 14 stars on GitHub - 1 maintainer
rerobots 0.11.0
client library for the rerobots API
21 versions - Latest release: almost 3 years ago - 2 dependent repositories - 58 downloads last month - 1 stars on GitHub - 1 maintainer
mpm 0.1.0
package (skill) manager for Misty
2 versions - Latest release: about 4 years ago - 3 dependent repositories - 54 downloads last month - 2 stars on GitHub - 1 maintainer
Top 4.4% on pypi.org
dd 0.6.0
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, ...
25 versions - Latest release: 6 months ago - 9 dependent packages - 36 dependent repositories - 1.4 thousand downloads last month - 167 stars on GitHub - 3 maintainers
rcomp 0.0.0
client of the rcomp server
1 version - Latest release: over 6 years ago - 1 dependent repositories - 10 downloads last month - 1 stars on GitHub - 1 maintainer
Top 3.9% on pypi.org
slycot 0.6.0
A wrapper for the SLICOT control and systems library
12 versions - Latest release: about 2 months ago - 6 dependent packages - 39 dependent repositories - 2.45 thousand downloads last month - 129 stars on GitHub - 7 maintainers
tulip 1.4.0
Temporal Logic Planning (TuLiP) Toolbox
5 versions - Latest release: 3 months ago - 6 dependent repositories - 65 downloads last month - 108 stars on GitHub - 2 maintainers