BlairArchibald / YewParLinks
A Collection of High Performance Parallel Skeletons for Tree Search Problems
☆23Updated last week
Alternatives and similar repositories for YewPar
Users that are interested in YewPar are comparing it to the libraries listed below
Sorting:
- A standard for floating point accuracy benchmarks☆55Updated 3 weeks ago
- C++ library for semigroups and monoids☆63Updated 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…☆101Updated last week
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- The LTSmin model checking toolset☆60Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated last week
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆27Updated 3 weeks ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆16Updated 5 years ago
- ☆17Updated last year
- Code generation tool to generate mathematical libraries☆58Updated 2 months ago
- CN separation logic refinement type system for C☆42Updated this week
- 😇 Wholly Adaptive LLVM Optimizer☆28Updated 5 years ago
- A C/C++ task-based programming model for shared memory and distributed parallel computing.☆73Updated 5 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- GPU model checker☆11Updated 6 years ago
- ☆60Updated 3 weeks ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆87Updated last week
- Unison's source code☆109Updated last year
- embedding MLIR in LEAN☆48Updated last year
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- ☆44Updated last month
- The DRAT-trim proof checker☆67Updated last year