RISC-V assembler library based on the RISC-V formal specification - View it on GitHub