specs written in hacspec-rust - View it on GitHub