DecompHub

riscv-decomp

Project status: Unknown

Myreen-style decompilation into logic for RISC-V, in Lean 4, over an abstract stepper

Target software or hardware
RISC-V
Work type
Source reconstruction
Primary public repository
github.com/dhsorens/riscv-decomp
GitHub
0GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

About and scope

Myreen-style decompilation into logic for RISC-V, in Lean 4, over an abstract stepper

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases