So I may have just started down the path of implementing a #RISCV RV64-IMAFD software core in #rustlang #rust.
It actually seems like it won't be particularly difficult! (yeah, I know, famous last words)
Really, though, once I have the instruction set encoded in Rust's type system, all I'll need to do is:
* parse memory images (bit streams)
* encode processor and memory state
* encode semantics for instructions! (that's the fun part 😅 )