maybe clash [1] would be interesting to you then?

[1] https://clash-lang.org/