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)
  ☆139Updated this week
• travisdowns / robsize
  ROB size testing utility
  ☆142Updated 3 years ago
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆129Updated last week
• llvm / llvm-test-suite
  ☆172Updated this week
• google / multichase
  ☆124Updated 7 months ago
• LinuxPerfStudy / LEBench
  ☆61Updated 8 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆98Updated 10 months ago
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆28Updated 6 years ago
• szeged / csibe
  CSiBE
  ☆33Updated 3 years ago
• intel / perfmon
  ☆272Updated this week
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆46Updated last month
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆32Updated 2 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆257Updated last year
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆40Updated last month
• project-dune / dune
  ☆198Updated 2 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆56Updated 11 months ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 7 months ago
• afborchert / pointer-chasing
  Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations
  ☆81Updated last year
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆60Updated last year
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 3 years ago
• jdmccalpin / periodic-performance-counters
  A low-overhead tool to periodically collect system-wide hardware performance counters on Intel64 systems.
  ☆31Updated 2 years ago
• Veedrac / microarchitecturometer
  Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…
  ☆127Updated 4 years ago
• parttimenerd / temci
  An advanced benchmarking tool
  ☆158Updated 2 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆107Updated last month
• travisdowns / uarch-bench
  A benchmark for low-level CPU micro-architectural features
  ☆707Updated 3 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆22Updated last month
• andreas-abel / nanoBench
  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
  ☆457Updated 6 months ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year