GitHub repository: GaloisInc/csaf
Primary language: Python
Description: Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.