kennknowles/python-typelanguage

A type language for Python built for communication (it also enforces them dynamically or statically, and infers them)