Another possibility would be to use hacspec, which is a small subset of rust. Our group (@Mikkel Milo ) recently added a Coq backend to that.
Last updated: Oct 01 2023 at 19:01 UTC