Alternatives and similar repositories for semcode

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

• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆157Updated last year
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆125Updated last month
• bootreer / vroom
  userspace nvme driver
  ☆108Updated 7 months ago
• git-bruh / vmm
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆13Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• mcy / vb64
  SIMD base64 codecs
  ☆88Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated last week
• backtrace-labs / slitter
  Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…
  ☆148Updated 4 years ago
• c-blake / batch
  Generic batch system calls for Linux
  ☆24Updated last week
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• pornin / cycle-counter
  ☆25Updated last year
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆41Updated last year
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆198Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• cfallin / waffle
  ☆58Updated 6 months ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆117Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆286Updated last week
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆52Updated 2 months ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆172Updated 2 weeks ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆105Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• sola-st / wasm-r3
  Record and Replay for WebAssembly
  ☆35Updated 3 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆186Updated 2 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• b0bleet / zvisor
  Minimalistic hypervisor built on KVM, coded with Zig.
  ☆147Updated last year
• microsoft / igvm
  ☆141Updated 3 weeks ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆55Updated last year