9 projects
slycot
A wrapper for the SLICOT control and systems library
Bioscrape
Biological Stochastic Simulation of Single Cell Reactions and Parameter Estimation
control
Python Control Systems Library
dd
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy.
biocrnpyler
A chemical reaction network compiler for generating large biological circuit models
polytope
Polytope Toolbox
omega
Symbolic algorithms for solving games of infinite duration.
astutils
Utilities for abstract syntax trees and parsing with PLY.
tulip
Temporal Logic Planning (TuLiP) Toolbox