A statically typed tensor programming language for defining AI models. - View it on GitHub