BlairArchibald / YewParLinks
A Collection of High Performance Parallel Skeletons for Tree Search Problems
☆23Updated last month
Alternatives and similar repositories for YewPar
Users that are interested in YewPar are comparing it to the libraries listed below
Sorting:
- The LTSmin model checking toolset☆60Updated last year
- ☆60Updated last month
- A standard for floating point accuracy benchmarks☆55Updated last month
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- ☆16Updated 6 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆88Updated last month
- C++ library for semigroups and monoids☆63Updated 3 weeks ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- ☆31Updated 3 months ago
- ☆27Updated last month
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A C/C++ task-based programming model for shared memory and distributed parallel computing.☆72Updated 5 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- ☆90Updated 3 years ago
- ☆17Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated last month
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated last month
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- The opensmt solver☆91Updated 3 weeks ago
- CUDD Decision Diagram Package☆150Updated 3 weeks ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- MimIR is my Intermediate Representation☆84Updated 2 weeks ago
- Implementation of multi-core (binary) decision diagrams☆83Updated 4 months ago
- Rigorous Floating-Point Mixed-Precision Tuner☆16Updated 5 years ago
- A translation validation framework for MLIR☆90Updated 9 months ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- Generic model checker for concurrent C programs (mirror repository)☆184Updated last month