A wrapper for the SLICOT control and systems library
enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
Python Control Systems Library
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
client library for the rerobots API
client (CLI and daemon) for the hardshare protocol
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
command-line interface and Python package for the Brunel Hand by Open Bionics
client of the rcomp server
Temporal Logic Planning (TuLiP) Toolbox