Alternatives and similar repositories for rex:

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

• rs3lab / KFlex
  ☆27Updated 2 weeks ago
• bpfverif / agni
  ☆22Updated last week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆32Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆128Updated last year
• olivierpierre / unikernel-papers
  ☆113Updated last month
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 8 months ago
• libbpf / blazesym
  blazesym is a library for address symbolization and related tasks
  ☆156Updated this week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• awslabs / damo
  DAMON user-space tool
  ☆160Updated 6 months ago
• josefbacik / systing
  A libbpf based tracer to help figure out what an application is doing.
  ☆10Updated this week
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 9 months ago
• Alan-Jowett / bpf_conformance
  Measures the conformance of a BPF runtime to the ISA.
  ☆34Updated last week
• smiller123 / bento
  ☆73Updated last year
• albertofaria / bdus
  A framework for implementing Block Devices in User Space
  ☆33Updated 3 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆30Updated this week
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆43Updated 8 months ago
• intel / uintr-ipc-bench
  ☆35Updated 9 months ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆34Updated last week
• danobi / btrfs-fuzz
  Unsupervised coverage-guided btrfs fuzzer
  ☆14Updated 4 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• uclasystem / DRust
  ☆44Updated 5 months ago
• qais-yousef / sched-analyzer
  BPF CO-RE based sched-analyzer
  ☆34Updated last month
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆107Updated this week
• google / ghost-userspace
  ☆225Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆24Updated this week
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 6 months ago
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• compudj / librseq
  Library for Restartable Sequences
  ☆68Updated last month