Alternatives and similar repositories for cilkbench

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

• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆31Updated 4 years ago
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated last year
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆145Updated 3 weeks ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆112Updated 2 weeks ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated 2 weeks ago
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 7 months ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆110Updated last year
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆119Updated 9 years ago
• vegaluisjose / reticle
  ☆40Updated 4 years ago
• TeamVoss / VossII
  The source code to the Voss II Hardware Verification Suite
  ☆56Updated this week
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆94Updated last month
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆31Updated last month
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆29Updated 6 years ago
• bondhugula / pluto
  Pluto: An automatic polyhedral parallelizer and locality optimizer
  ☆307Updated 2 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 7 months ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated last year
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆150Updated 3 months 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
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆117Updated 2 years ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated 2 years ago
• NVlabs / Parsimony-CGO23
  ☆13Updated 2 years ago
• masabahmad / CRONO
  A Shared Memory Multithreaded Graph Benchmark Suite for Multicores
  ☆36Updated 5 months ago
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆23Updated 2 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆163Updated 3 weeks ago
• ADAPT-uiuc / TensorRight
  TensorRight: Automated Verification of Tensor Graph Rewrites
  ☆15Updated last week
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆61Updated 10 years ago
• s5z / zsim
  A fast and scalable x86-64 multicore simulator
  ☆378Updated last year