Light
Rust
Coal
Navy
Ayu
The Spade Programming Language
Full documentation of the type system is yet to be written.