GitHub repository: shimodatakaki/mypy
Primary language: Python
Created: 2017-12-12T12:45:20Z
Description: mypy, an useful toolbox for control engineers