New open source F# RISC-V ISA formal specification and CPU simulationgithub.com/mrLSD2 pointssfxws20067 years ago