Alternatives and similar repositories for miralis

Users that are interested in miralis are comparing it to the libraries listed below

• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆118Updated 2 weeks ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated last week
• rust-vmm / rust-vmm-ci
  ☆24Updated 3 weeks ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆19Updated last year
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 10 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆32Updated this week
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• tschuett / mlir-rustc
  Experimental MLIR Rust compiler
  ☆24Updated last year
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆25Updated 9 months ago
• rust-vmm / vm-fdt
  ☆18Updated 10 months ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆105Updated 7 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆160Updated this week
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 4 years ago
• hermit-os / loader
  The Hermit bootloader.
  ☆77Updated 2 weeks ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆48Updated 7 months ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆64Updated 2 years ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆23Updated 2 years ago
• riscv / riscv-cfi
  This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …
  ☆87Updated last week
• zdimension / parm_extended
  ☆52Updated this week
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆18Updated last month
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆167Updated last week
• lowRISC / manticore
  ☆17Updated 3 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆125Updated last month