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)
  ☆138Updated 4 months ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆32Updated 2 years ago
• travisdowns / robsize
  ROB size testing utility
  ☆141Updated 3 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆81Updated this week
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆43Updated last week
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆129Updated 2 weeks ago
• LinuxPerfStudy / LEBench
  ☆60Updated 6 months ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated this week
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆114Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 months ago
• google / multichase
  ☆120Updated 6 months ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆98Updated 9 months ago
• intel / iodlr
  Tools and Reference Code for Intel Optimizations (eg Large Pages)
  ☆139Updated 4 months ago
• szeged / csibe
  CSiBE
  ☆33Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆139Updated last week
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆40Updated last week
• intel / perfmon
  ☆264Updated this week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 months ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 2 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆126Updated 5 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆56Updated 10 months ago
• litmus-tests / litmus-tests-riscv
  RISC-V architecture concurrency model litmus tests
  ☆74Updated last year
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆62Updated last year
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆160Updated last year
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆22Updated this week
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆253Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆173Updated this week
• afborchert / pointer-chasing
  Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations
  ☆81Updated last year
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year