Functional Programming
fuckReddit
•
1y ago
•
100%
A formal (and executable) specification for the RISC-V ISA (Instruction Set Architecture), written in F# purely functional style
github.comF# RISC-V Instruction Set formal specification. Contribute to mrLSD/riscv-fs development by creating an account on GitHub.
Comments 0