Alternatives and similar repositories for cilkbench

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

• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated 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
  ☆105Updated this week
• tjt7a / AutomataZoo
  Automata Benchmark Suite
  ☆22Updated last year
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated last week
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆101Updated 9 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆145Updated last week
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆66Updated 8 months ago
• s5z / zsim
  A fast and scalable x86-64 multicore simulator
  ☆368Updated last year
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated 10 months ago
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆29Updated this week
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 3 months ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆84Updated 4 months ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆59Updated 10 years ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆104Updated 10 months ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• VeriGu / DistAI
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆16Updated 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
• Smattr / rumur
  yet another model checker
  ☆20Updated 2 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆78Updated last week
• SwarmArch / chronos
  The Chronos FPGA Framework to accelerate ordered applications
  ☆23Updated 5 years ago
• SamAinsworth / reproduce-cgo2017-paper
  Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
  ☆39Updated 3 years ago
• bigwater / gpunfa-artifact
  ☆19Updated 2 years ago
• masabahmad / CRONO
  A Shared Memory Multithreaded Graph Benchmark Suite for Multicores
  ☆36Updated last month
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆52Updated last year
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆92Updated last year
• sbeamer / gapbs
  GAP Benchmark Suite
  ☆355Updated 4 months ago