Alternatives and similar repositories for YewPar:

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

• ths-rwth / smtrat
  ☆52Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 2 months ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆47Updated last week
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆35Updated 9 months ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated last month
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆49Updated last month
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• LLNL / unum
  Universal Number Library
  ☆40Updated 6 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 5 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆88Updated 2 months ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• coq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated this week
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 4 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 2 months ago
• martinjonas / Q3B
  ☆27Updated 8 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated 3 weeks ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• smowton / llpe
  ☆49Updated 11 months ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago