Skip to content
Open-Source Registry

Search 17 packages

Found
Build behaviour
Packages1–17 of 17VersionFindingsDescriptionDownloadsWhen
synth-backend-riscv cargo0.83.0clean RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth3.1K7h ago
rusty_rtos_port-riscv cargo0.3.2clean The Kairos RISC-V port: critical sections, the yield, stack initialisation and the machine-software-interrupt context switch for RV32. One of the crates in the…984d ago
esp-riscv-rt-p4-pre-v3 cargonot built 0.14.0-p4v13.1 did not buildMinimal runtime / startup for RISC-V CPUs from Espressif164d ago
numkong cargo7.8.5clean Portable mixed-precision math, linear-algebra, & retrieval library with 2000+ SIMD kernels for x86, Arm, RISC-V, LoongArch, Power, & WebAssembly247K3d ago
rgb-aluvm cargo0.11.2-rc.1clean Functional registry-based RISC virtual machine33K1h ago
asmkit-rs cargo0.7.4clean Portable assembler toolkit for encoding x86/x64, AArch64, and RISC-V7.3K2d ago
bobcat-alloc cargo0.11.9clean bobcat-alloc provides allocators for wasm32 and riscv32im.1.4K4h ago
ch32rv-contract cargo0.19.0clean Shared vocabulary for the ch32rv tool suite: exit codes, JSON result envelope, NDJSON progress events, operation policies1.0K21h ago
ch32rv-dmi cargo0.19.0clean RISC-V Debug Module Interface layer for the ch32rv tool suite, with WCH-specific quirks isolated behind the DtmAccess boundary80816h ago
ch32rv-target cargo0.19.0clean Generated CH32 RISC-V device database (chip detection, flash geometry, option byte layouts) for the ch32rv tool suite70111h ago
ch32rv-flash cargo0.19.0clean Flash programming orchestration (erase/program/verify/confirm-run) for the ch32rv tool suite61211h ago
rusty_rtos_port cargo0.3.2clean The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only…3774d ago
ch32rv-boot cargo0.19.0clean Custom bootloader clients (DFU, UF2, UART/RS-485, HID) for the ch32rv tool suite3591d ago
ch32rv-oep cargonot built 0.19.0 did not buildOEP v1 (Open Embedded Probe) host for the ch32rv tool suite: wire codec, transports, session2621d ago
rvsim-core cargo2.0.0clean A high-performance cycle-accurate RISC-V 64-bit system simulator.1721d ago
wickra-zk-methods cargo0.2.0clean The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them.1703d ago
wickra-zk-host cargonot built 0.2.0 did not buildProver and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of…1513d ago