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:
- A standard for floating point accuracy benchmarks☆57Updated 2 weeks ago
- A C/C++ task-based programming model for shared memory and distributed parallel computing.☆72Updated 5 years ago
- The LTSmin model checking toolset☆60Updated last year
- C++ library for semigroups and monoids☆64Updated last week
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- The StreamIt compiler infrastructure.☆71Updated 9 years ago
- ☆60Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- ☆91Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆102Updated this week
- Software transactional memory system developed at Wyatt Technology☆30Updated 6 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- A research platform and active library for generalised SAT solving☆33Updated 7 months ago
- SRI LibPoly is a C library for manipulating polynomials☆53Updated last month
- Public snapshots of "ACSL by Example"☆121Updated 3 weeks ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- ☆16Updated 6 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆28Updated 5 years ago
- Lace - implementation of work-stealing in C☆55Updated 5 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 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
- A translation validation framework for MLIR☆92Updated 10 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- ☆17Updated last year
- Global Memory and Threading runtime system☆24Updated last month