riscv-coq

RISC-V Specification in Coq

Coq89bsd-3-clause

11 months ago

riscv-mode

Major mode for RISC V assembly

Emacs Lisp18gpl-3.0

2 years ago

assemblyemacsriscv

ZBZZ.OS

An operating system built with RISCV and Zig

Zig11

4 years ago