GitHub repository: srijan-paul/Boa--compiling-python
Primary language: Python
Description: A type checker and compiler for python that is capable of inferring types and performing flow sensitive type checking.