Spade is a hardware description language (HDL) which has first-class support for pipelines and allows for easy activities such as retiming and repipeling, which are normally done by hand in other HDLs.
It features a type system for strong static typing, inspired by Rust, able to do type inference and pattern matching, as well as providing user-friendly error messages.
Spade is still in development, and users can follow progress via GitLab or Discord, or by reading The Spade Book.
Those familiar with Verilog or VHDL could test the limitations of Spade by porting designs for an FPGA from those HDLs.