risc0-circuit-rv32im-sys
| Crates.io | risc0-circuit-rv32im-sys |
| lib.rs | risc0-circuit-rv32im-sys |
| version | 5.0.0-rc.1 |
| created_at | 2023-03-29 22:24:43.725605+00 |
| updated_at | 2026-01-14 22:37:00.54816+00 |
| description | Generated HAL code for rv32im circuit |
| homepage | https://risczero.com/ |
| repository | https://github.com/risc0/risc0/ |
| max_upload_size | |
| id | 824460 |
| size | 4,906,603 |
maintainers (github:risc0:maintainers)