ICBD is a static type analyzer and static compiler for Python; the project is defunct.