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)
  ☆190Updated 2 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆110Updated last week
• rems-project / rmem
  rmem public repo
  ☆49Updated 8 months ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆36Updated 3 years ago
• travisdowns / robsize
  ROB size testing utility
  ☆159Updated 4 years ago
• llvm / llvm-test-suite
  ☆229Updated this week
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆27Updated 6 months ago
• revec / VectorBench
  Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code
  ☆30Updated 6 years ago
• ARM-software / data
  Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.
  ☆59Updated last year
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆64Updated this week
• lowRISC / riscv-llvm
  RISC-V support for LLVM projects (LLVM, Clang, ...)
  ☆277Updated last year
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆50Updated 6 months ago
• upenn-acg / ocolos-public
  Ocolos is the first open-sourced online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆53Updated last month
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆71Updated last year
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆66Updated 7 months ago
• aayasin / perf-tools
  A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more
  ☆143Updated 7 months ago
• LinuxPerfStudy / LEBench
  A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…
  ☆65Updated last year
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆326Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆154Updated 7 months ago
• ucb-bar / ccbench
  Memory System Microbenchmarks
  ☆65Updated 3 years ago
• google / multichase
  ☆151Updated 5 months ago
• Veedrac / microarchitecturometer
  Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…
  ☆132Updated 5 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆106Updated last year
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆92Updated 10 months 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.
  ☆130Updated 3 years ago
• rems-project / sail
  Sail architecture definition language
  ☆841Updated this week
• ARM-software / acle
  Arm C Language Extensions (ACLE)
  ☆119Updated 3 weeks ago
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆193Updated last month
• Jonathan2251 / lbd
  ☆403Updated this week