jihe520 / MathModelAgent

An agent and skill set that automates mathematical modeling competitions, producing a complete, submission-ready paper.

riscv / riscv-isa-manual

Source files for the RISC-V Instruction Set Manual, the formal specification of the RISC-V unprivileged, privileged, and profiles architecture.