package arrakis

  1. Overview
  2. Docs
A RISC-V simulator

Install

Dune Dependency

Authors

Maintainers

Sources

arrakis-1.0.0.tar.gz
sha256=62b276b4374f64609234b2406d00002e8c46d7bebf6bada2a703c8e8ac3bdea6
md5=1d25123c6e7cccdbd0d0b92589071023

README.md.html

README.md

Arrakis

Arrakis is a RISC-V simulator written in OCaml, primarly designed for education.

Features

Installation

Since Arrakis is written in OCaml, it can be installed using opam, OCaml Package Manager.

Simply run:

$ opam install arrakis

Documentation

Documentation about Arrakis usage is available here

Development

The main branch is currently developped using OCaml 5.0 and Dune 3.10.

For contributions, please take a look at CONTRIBUTING.md.

Resources

  • riscv-card, a comprehensive reference sheet for RISC-V.

  • Venus, a RISC-V simulator written in Kotlin, which inspired Arrakis.

  • CeCILL, Arrakis License.

OCaml

Innovation. Community. Security.