Alternatives and similar repositories for YewPar:

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

• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 months ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 10 months ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated 3 weeks ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• martinjonas / Q3B
  ☆27Updated 9 months ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆50Updated 2 months ago
• ths-rwth / smtrat
  ☆52Updated last week
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 5 months ago
• soarlab / FPTuner
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆14Updated 4 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆22Updated 2 years ago
• tchajed / futex-tutorial
  ☆9Updated 6 months ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 6 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆17Updated 4 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated 2 weeks ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆97Updated 7 months ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 4 months ago