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
  ☆155Updated 3 years ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆34Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆152Updated 3 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆96Updated last week
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆44Updated 3 weeks ago
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆54Updated 5 months ago
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆139Updated last week
• lowRISC / riscv-llvm
  RISC-V support for LLVM projects (LLVM, Clang, ...)
  ☆270Updated 11 months 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
  ☆43Updated last month
• llvm / llvm-test-suite
  ☆192Updated last week
• cirosantilli / parsec-benchmark
  PARSEC Benchmark http://parsec.cs.princeton.edu 3.0-beta-20150206 ported to Ubuntu 22.04 and with proper version control and SPLASH2 port…
  ☆96Updated 7 months ago
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• riscv-non-isa / riscv-toolchain-conventions
  Documenting the expected behaviour and supported command-line switches for GNU and LLVM based RISC-V toolchains
  ☆151Updated 3 weeks ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆118Updated 5 years ago
• frasercrmck / llvm-leg
  ☆109Updated 3 years ago
• bucaps / marss-riscv
  TinyEMU based full system cycle-level micro-architectural research simulator for single-core RISC-V systems
  ☆153Updated 3 years ago
• intel / perfmon
  ☆311Updated this week
• litmus-tests / litmus-tests-riscv
  RISC-V architecture concurrency model litmus tests
  ☆81Updated last month
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• riscv / riscv-bitmanip
  Working draft of the proposed RISC-V Bitmanipulation extension
  ☆211Updated last year
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆25Updated 2 months ago
• google / multichase
  ☆132Updated last month
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆28Updated 6 years ago
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆60Updated last year
• 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
• bamos / parsec-benchmark
  An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.
  ☆113Updated 3 years ago
• Jonathan2251 / lbd
  ☆373Updated this week
• 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…
  ☆65Updated 8 months ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 3 years ago