arrakis est un simulateur RISC-V écrit en OCaml.

Le logiciel est accompagné d’un wiki, qui détaille son utilisation mais servant également de tutoriel général a l’écriture d’assembleur en RISC-V.