Alternatives and similar repositories for rex

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

• rs3lab / KFlex
  ☆30Updated 3 months ago
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆45Updated 11 months ago
• bpfverif / agni
  ☆34Updated last week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆35Updated last month
• olivierpierre / unikernel-papers
  ☆122Updated last week
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 11 months ago
• sched-ext / sched_ext
  This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/
  ☆137Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆60Updated last month
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• Alan-Jowett / bpf_conformance
  Measures the conformance of a BPF runtime to the ISA.
  ☆35Updated last week
• josefbacik / systing
  A libbpf based tracer to help figure out what an application is doing.
  ☆34Updated this week
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆12Updated last month
• xrp-project / BPF-KV
  ☆26Updated 2 years ago
• albertofaria / bdus
  A framework for implementing Block Devices in User Space
  ☆33Updated 3 years ago
• uclasystem / DRust
  ☆47Updated 8 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆126Updated 3 years ago
• Electrode-NSDI23 / Electrode
  ☆52Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 9 months ago
• libbpf / blazesym
  blazesym is a library for address symbolization and related tasks
  ☆184Updated this week
• anakryiko / btfdump
  BTF introspection tool
  ☆39Updated last week
• hedayati / hodor
  Hodor-PKU
  ☆24Updated 3 years ago
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• iomesh / libuzfs-rs
  Rust APIs for userworld zfs(uzfs)
  ☆16Updated 2 weeks ago
• smiller123 / bento
  ☆73Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• google / ghost-userspace
  ☆230Updated last year
• microsoft / machnet
  Machnet provides applications like databases and finance an easy way to access low-latency DPDK-based messaging on public cloud VMs. 750K…
  ☆116Updated 4 months ago