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)
  ☆150Updated 2 months ago
• travisdowns / robsize
  ROB size testing utility
  ☆151Updated 3 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆94Updated this week
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆33Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆99Updated last year
• rems-project / rmem
  rmem public repo
  ☆42Updated 2 weeks ago
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆51Updated 4 months ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆117Updated 5 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆35Updated last month
• llvm / llvm-test-suite
  ☆187Updated this week
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆28Updated 6 years 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…
  ☆64Updated 7 months ago
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆138Updated 2 months ago
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆41Updated last week
• intel / perfmon
  ☆300Updated this week
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆62Updated 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
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• google / multichase
  ☆130Updated last week
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆108Updated this week
• bitcharmer / tlb_shootdowns
  ☆62Updated 5 years ago
• Veedrac / microarchitecturometer
  Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…
  ☆129Updated 4 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆61Updated last year
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆272Updated last year
• intel / iodlr
  Tools and Reference Code for Intel Optimizations (eg Large Pages)
  ☆143Updated 8 months ago
• LinuxPerfStudy / LEBench
  ☆62Updated 11 months ago
• trigonak / ccbench
  A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).
  ☆78Updated 3 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated last month
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆129Updated 5 years ago