riscv

oss-verify-proofs

+51

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

raysan5/raylib

+102

A simple and easy-to-use library to enjoy videogames programming

Limine

+29

Modern, secure, portable, multiprotocol bootloader and boot manager.

capstone

+25

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

unicorn

+32

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Tencent/ncnn

+18

ncnn is a high-performance neural network inference framework optimized for the mobile platform

chipyard

+12

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

probe-rs

+8

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

riscv-boom

+8

SonicBOOM: The Berkeley Out-of-Order Machine