Alternatives and similar repositories for herdtools7

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

• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated 2 weeks ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆103Updated this week
• travisdowns / robsize
  ROB size testing utility
  ☆157Updated 3 years ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 5 months ago
• llvm / llvm-test-suite
  ☆207Updated this week
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆35Updated 3 years ago
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆55Updated 9 months ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆57Updated 2 weeks ago
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆30Updated 6 years ago
• andreas-abel / nanoBench
  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
  ☆484Updated 4 months ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆103Updated last year
• afborchert / pointer-chasing
  Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations
  ☆85Updated 2 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆293Updated last year
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆141Updated 3 months ago
• Jonathan2251 / lbd
  ☆389Updated this week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆145Updated 5 years ago
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆64Updated 2 years ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆79Updated 2 months ago
• ARM-software / acle
  Arm C Language Extensions (ACLE)
  ☆115Updated 2 weeks ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆69Updated last year
• travisdowns / uarch-bench
  A benchmark for low-level CPU micro-architectural features
  ☆748Updated 3 years ago
• Veedrac / microarchitecturometer
  Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…
  ☆131Updated 4 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆25Updated 2 months ago
• google / multichase
  ☆141Updated 2 months ago
• wcohen / libpfm4
  This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…
  ☆66Updated last year
• lowRISC / riscv-llvm
  RISC-V support for LLVM projects (LLVM, Clang, ...)
  ☆270Updated last year
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆112Updated 4 months ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year