GitHub - spyder-ide/spyder: Official repository for Spyder - The ...