Alternatives and similar repositories for libvsync:

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

• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated last month
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆26Updated 3 months ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 2 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated 3 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• olivierpierre / unikernel-papers
  ☆112Updated last month
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆16Updated last week
• uclasystem / DRust
  ☆43Updated 3 months ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• LinuxPerfStudy / LEBench
  ☆60Updated 6 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 7 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 4 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆80Updated this week
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆30Updated 4 months ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆25Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆69Updated last year
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 5 months ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆62Updated last year
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated 2 weeks ago
• bpfverif / agni
  ☆20Updated last week
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 2 years ago