Alternatives and similar repositories for herdtools7:

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

• travisdowns / robsize
  ROB size testing utility
  ☆145Updated 3 years ago
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆134Updated last week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆144Updated last month
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆48Updated 2 months ago
• LinuxPerfStudy / LEBench
  ☆61Updated 9 months ago
• intel / perfmon
  ☆283Updated this week
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆96Updated 11 months ago
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆41Updated 2 months ago
• andreas-abel / nanoBench
  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.
  ☆460Updated last month
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆32Updated 2 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…
  ☆57Updated 5 months ago
• google / multichase
  ☆126Updated 8 months ago
• intel / iodlr
  Tools and Reference Code for Intel Optimizations (eg Large Pages)
  ☆140Updated 6 months ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated 3 weeks ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆262Updated last year
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 2 weeks ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated 2 weeks ago
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆182Updated last month
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆86Updated this week
• bucaps / marss-riscv
  TinyEMU based full system cycle-level micro-architectural research simulator for single-core RISC-V systems
  ☆150Updated 2 years ago
• afborchert / pointer-chasing
  Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations
  ☆82Updated last year
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆107Updated 2 months ago
• parttimenerd / temci
  An advanced benchmarking tool
  ☆165Updated 2 years ago
• Veedrac / microarchitecturometer
  Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…
  ☆128Updated 4 years ago
• jdmccalpin / low-overhead-timers
  Very low-overhead timer/counter interfaces for C on Intel 64 processors.
  ☆129Updated 5 years ago
• AMDESE / amd-perf-tools
  Documentation and diagnostic utilities for running Linux perf on AMD hardware
  ☆32Updated 4 years ago
• staceyson / splash2
  Splash 2 Benchmarks
  ☆19Updated 10 years ago
• rems-project / sail
  Sail architecture definition language
  ☆696Updated this week