mrLSD/riscv-fs

F# RISC-V Instruction Set formal specification

134 best points · 58 comments · 5 Hacker News posts · 290 GitHub stars · View on GitHub

Hacker News discussions

• F# RISC-V Instruction Set formal specification (134 points, 42 comments, by mrLSD-dev, 2023-07-29)
• F# RISC-V Instruction Set Formal Specification (122 points, 16 comments, by adamnemecek, 2019-10-20)
• F# RISC-V v0.6.0 released (4 points, 0 comments, by mrLSD-dev, 2026-06-02)
• New open source F# RISC-V ISA formal specification and CPU simulation (2 points, 0 comments, by sfxws2006, 2019-10-03)
• F# RISC-V Instruction Set Formal Specification (1 points, 0 comments, by adamnemecek, 2019-10-14)