Alternatives and similar repositories for YewPar

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

• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 9 months ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆52Updated 4 months ago
• mc-imperial / multicore-test-harness
  A multicore microprocessor test harness for measuring interference
  ☆14Updated 5 years ago
• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• LLNL / unum
  Universal Number Library
  ☆42Updated 7 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• habanero-rice / hclib
  A C/C++ task-based programming model for shared memory and distributed parallel computing.
  ☆72Updated 5 years ago
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆51Updated last month
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 8 years ago
• martinjonas / Q3B
  ☆28Updated 4 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆25Updated 3 months ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 5 years ago
• pnnl / gmt
  Global Memory and Threading runtime system
  ☆25Updated last year
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆24Updated 3 weeks ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 8 years ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 2 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• lanl / ares
  Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…
  ☆10Updated 8 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 9 months ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• cliffordwolf / bextdep
  Reference Hardware Implementations of Bit Extract/Deposit Instructions
  ☆25Updated 7 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆83Updated 8 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year