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
  ☆26Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 4 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆81Updated this week
• Multi-V-VM / Anonymous-Repo
  Seemlessly Migrate Process without boundary.
  ☆25Updated 3 weeks ago
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated last week
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 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
  ☆74Updated this week
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• uw-unsat / exoverifier
  ☆16Updated last year
• uw-unsat / serval
  ☆46Updated 2 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆78Updated 2 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆234Updated this week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• mit-pdos / ward
  ☆31Updated 3 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
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆27Updated this week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆91Updated 2 months ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆20Updated last month
• LLNL / umap
  User-space Page Management
  ☆106Updated 5 months ago
• 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
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated this week
• rs3lab / KFlex
  ☆25Updated 4 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆32Updated 4 months ago