https://www.gram.org
A high-level programming language with a small, extensible core and a strong, static type system.
The Gram Programming Language