GitHub repo
A statically typed programming language.
A statically-typed programming language, with generics and type inference.