9 projects
control
Python Control Systems Library
BioCRNpyler
A chemical reaction network compiler for generating large biological circuit models
astutils
Utilities for abstract syntax trees and parsing with PLY.
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.
Bioscrape
Biological Stochastic Simulation of Single Cell Reactions and Parameter Estimation