GitHub repository: Kludex/promypy
Primary language: Python
Description: Progressive type annotation without regression! 🚀