riscv-coq

RISC-V Specification in Coq

Coq109bsd-3-clause

3 months ago

riscv-mode

Major mode for RISC V assembly

Emacs Lisp21gpl-3.0

2 years ago

assemblyemacsriscv

ZBZZ.OS

An operating system built with RISCV and Zig

Zig12

5 years ago