BlairArchibald / YewParLinks
A Collection of High Performance Parallel Skeletons for Tree Search Problems
☆22Updated last year
Alternatives and similar repositories for YewPar
Users that are interested in YewPar are comparing it to the libraries listed below
Sorting:
- ☆53Updated last week
- A standard for floating point accuracy benchmarks☆49Updated 2 months ago
- ☆28Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- LibPoly is a C library for manipulating polynomials☆51Updated last month
- The LTSmin model checking toolset☆60Updated 7 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- embedding MLIR in LEAN☆47Updated 11 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Lace - implementation of work-stealing in C☆36Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- ☆88Updated 2 years ago
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- MimIR is my Intermediate Representation☆68Updated last week
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆24Updated 4 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆49Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 2 months ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆31Updated 9 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago