srijan-paul/boa
A type checker and compiler for python that is capable of inferring types and performing flow sensitive type checking.
Python
A type checker and compiler for python that is capable of inferring types and performing flow sensitive type checking.
Python