Alternatives and similar repositories for cilkbench

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

• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆31Updated 4 years ago
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• bondhugula / pluto
  Pluto: An automatic polyhedral parallelizer and locality optimizer
  ☆303Updated last month
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆67Updated 9 months ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated last month
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated 2 years ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆105Updated 11 months ago
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆102Updated 9 years ago
• s5z / zsim
  A fast and scalable x86-64 multicore simulator
  ☆368Updated last year
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆106Updated last week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆148Updated last month
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆116Updated last year
• sbeamer / gapbs
  GAP Benchmark Suite
  ☆358Updated 5 months ago
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆29Updated this week
• Meinersbur / ppcg
  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)
  ☆127Updated 3 years ago
• Errare-humanum-est / ProtoGen
  Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors…
  ☆16Updated 3 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆159Updated last month
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆22Updated last year
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆78Updated 2 weeks ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated 11 months ago
• NVlabs / Parsimony-CGO23
  ☆12Updated 2 years ago
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆54Updated last year
• mangpo / greenthumb
  ☆88Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆88Updated 4 months ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆93Updated last year
• Smattr / rumur
  yet another model checker
  ☆20Updated this week
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆63Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 4 months ago