GitHub repository: kmod/icbd
Primary language: Python
Description: ICBD is a static type analyzer and static compiler for Python; the project is defunct.