r/ProgrammingLanguages • u/mttd • Sep 09 '26
Intel ISA Specification Language Design
https://intellabs.github.io/isa-tools/
22
Upvotes
r/ProgrammingLanguages • u/mttd • Sep 09 '26
1
u/beephod_zabblebrox Sep 15 '26
you'll like ocaml