A fast and efficient type assistant for Python, including tensor shape inference - View it on GitHub