this post was submitted on 29 Jul 2023
17 points (100.0% liked)

Functional Programming

1382 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon@programming.dev
cercerilla@programming.dev
17
A formal (and executable) specification for the RISC-V ISA (Instruction Set Architecture), written in F# purely functional style (github.com)
submitted 1 year ago by fuckReddit@infosec.pub to c/functional_programming@programming.dev
0 comments fedilink hide all child comments
 

F# RISC-V Instruction Set formal specification. Contribute to mrLSD/riscv-fs development by creating an account on GitHub.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here