client (CLI and daemon) for the hardshare protocol
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
client library for the rerobots API
Slycot: a wrapper for the SLICOT control and systems library
package (skill) manager for Misty
Symbolic algorithms for solving games of infinite duration.
a tool for static analysis of Misty skills and offboard Misty REST API clients
enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
Python control systems library
command-line interface and Python package for the Brunel Hand by Open Bionics
client of the rcomp server
Temporal Logic Planning (TuLiP) Toolbox