Alternatives and similar repositories for vsyncer:

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

• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆28Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆139Updated this week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆54Updated 2 weeks ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated 2 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆31Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• uw-unsat / exoverifier
  ☆16Updated last year
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated 3 weeks ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 7 months ago
• tchajed / futex-tutorial
  ☆9Updated 6 months ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆17Updated last month
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆58Updated 3 weeks ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆22Updated 2 years ago
• CircuitCoder / ChannelOS
  What if everything is a io_uring?
  ☆16Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆88Updated 8 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆80Updated 3 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆95Updated 3 months ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆77Updated 2 weeks ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆32Updated 2 years ago
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated 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
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago