GregAC / rrsLinks
Rust RISC-V Simulator
☆41Updated last year
Alternatives and similar repositories for rrs
Users that are interested in rrs are comparing it to the libraries listed below
Sorting:
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆33Updated 2 weeks ago
- A high-level API for interacting with SMT solvers.☆28Updated 2 weeks ago
- Symbolic execution tool for Sail ISA specifications☆78Updated last week
- Rust RISC-V Virtual Machine☆107Updated last month
- Simple library for decoding RISC-V instructions☆24Updated 3 weeks ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Rust Bindings and tools for the Intel® Simics® Simulator☆15Updated last week
- ☆13Updated 2 years ago
- ☆16Updated 4 years ago
- QEMU for Rust, and Rust for QEMU☆80Updated 2 weeks ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated 10 months ago
- ☆76Updated last year
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆63Updated last month
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆189Updated this week
- Assembler toolkit: encoding and decoding of various architectures☆35Updated 9 months ago
- ☆21Updated this week
- Caliptra MCU Software☆20Updated this week
- NVidia sass disassembler/inline patcher☆28Updated this week
- New register allocator designed as a successor to regalloc2☆47Updated last month
- A super simple /sbin/init for Linux which allows running one and only one program☆28Updated last year
- Rust library for Intel TDX☆25Updated 3 months ago
- Creating a minimal ELF file☆119Updated 4 months ago
- In-memory x86-64 assembler for JIT compiler.☆76Updated 5 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- To make fuzzing Rust easy☆185Updated this week
- Low level access to processors using the AArch64 execution state.☆92Updated 10 months ago
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆13Updated last year
- An HDL embedded in Rust.☆200Updated last year