Alternatives and similar repositories for Guarder

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

• rusnikola / wfe
  Wait-Free Eras (PPoPP '20)
  ☆10Updated 5 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• pornin / cycle-counter
  ☆23Updated 7 months ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆16Updated 7 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• UTSASRG / FreeGuard
  ☆36Updated 7 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆57Updated 10 months ago
• massivethreads / tp-parsec
  TP-PARSEC: A Task Parallel PARSEC Benchmark Suite
  ☆10Updated 4 years ago
• kurocha / concurrent
  ☆13Updated 2 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated last month
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• embecosm / gso2
  GNU Superoptimizer Version 2
  ☆26Updated 4 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• project-oak / hafnium-verification
  ☆29Updated 4 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 9 years ago
• resistor / BrainFTracing
  A trace-based JIT for brainfuck
  ☆47Updated 14 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 7 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago