risc0-circuit-rv32im-sys
| Crates.io | risc0-circuit-rv32im-sys |
| lib.rs | risc0-circuit-rv32im-sys |
| version | 4.0.1 |
| created_at | 2023-03-29 22:24:43.725605+00 |
| updated_at | 2025-08-21 17:56:19.651831+00 |
| description | Generated HAL code for rv32im cicuit |
| homepage | https://risczero.com/ |
| repository | https://github.com/risc0/risc0/ |
| max_upload_size | |
| id | 824460 |
| size | 20,697,572 |
maintainers (github:risc0:maintainers)