This reminds me of Cryptol https://cryptol.net https://cryptol.net which can be compiled into VHDL. It is a more general language than its description as crypto

This reminds me of Cryptol https://cryptol.net https://cryptol.net which can be compiled into VHDL. It is a more general language than its description as cryptographic DSL suggests.