Light
Rust
Coal
Navy
Ayu
The Spade Programming Language
Ports and Wires
See the user-level documentation