Alternatives and similar repositories for YewPar

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

• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆55Updated this week
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆50Updated 4 months ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• mangpo / greenthumb
  ☆90Updated 3 years ago
• ths-rwth / smtrat
  ☆59Updated 3 months ago
• mc-imperial / multicore-test-harness
  A multicore microprocessor test harness for measuring interference
  ☆14Updated 5 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• habanero-rice / hclib
  A C/C++ task-based programming model for shared memory and distributed parallel computing.
  ☆72Updated 5 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• martinjonas / Q3B
  ☆30Updated last month
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 3 years ago
• soarlab / FPTuner
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆16Updated 5 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆85Updated last week
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• tchajed / futex-tutorial
  ☆14Updated last year
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆145Updated 3 weeks ago
• 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
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆90Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆158Updated 3 weeks ago
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 6 months ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago