16 projects
mkdocs-docslab
MkDocs plugin for interactive code
control
Python Control Systems Library
sphinx-docslab
Sphinx docslab extension for interactive code
slycot
A wrapper for the SLICOT control and systems library
tulip
Temporal Logic Planning (TuLiP) Toolbox
polytope
Polytope Toolbox
omega
Symbolic algorithms for solving games of infinite duration.
dd
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
gr1py
enumerative (or concrete) reactive synthesis tool for the GR(1) fragment of LTL
rerobots
client library for the rerobots API
hardshare
client (CLI and daemon) for the hardshare protocol
mpm
package (skill) manager for Misty
mistygrind
a tool for static analysis of Misty skills and offboard Misty REST API clients
bhand
command-line interface and Python package for the Brunel Hand by Open Bionics
rcomp
client of the rcomp server
