Alternatives and similar repositories for semcode

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

• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• 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
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆125Updated last month
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆55Updated last year
• mcy / vb64
  SIMD base64 codecs
  ☆88Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆341Updated this week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆208Updated 9 months ago
• 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
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆40Updated 8 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆45Updated this week
• bootreer / vroom
  userspace nvme driver
  ☆108Updated 7 months ago
• 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
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• boonzy00 / ringmpsc
  Lock-free MPSC channel in Zig achieving 50+ billion messages/second via ring-decomposed architecture
  ☆164Updated last month
• sola-st / wasm-r3
  Record and Replay for WebAssembly
  ☆35Updated this week
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆52Updated 2 months ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆120Updated 8 months ago
• google / rust-p9
  ☆43Updated last year
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆172Updated 2 weeks ago
• git-bruh / vmm
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆13Updated last year
• c-blake / batch
  Generic batch system calls for Linux
  ☆24Updated last week
• pornin / cycle-counter
  ☆25Updated last year
• TuckerBMorgan / can-t
  Clean, simple, hackable ml framework in rust. Supports metal and cuda
  ☆82Updated last month
• musec / libpreopen
  Library for wrapping libc functions that require ambient authority
  ☆87Updated 6 years ago
• thundergolfer / rstrace
  A Rust implementation of strace.
  ☆36Updated 3 weeks ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆130Updated 3 months ago