ICBD is a static type analyzer and static compiler for Python; the project is defunct. - View it on GitHub