Kyoto is an imperative, general-purpose, statically typed language - View it on GitHub