Machine-readable database of the RISC-V specification, and tools to generate various views - View it on GitHub