BlairArchibald / YewParLinks
A Collection of High Performance Parallel Skeletons for Tree Search Problems
☆22Updated 3 months ago
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☆52Updated 6 months ago
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- The LTSmin model checking toolset☆60Updated 10 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- ☆57Updated 2 months ago
- Data Dependence Analyzer in the Polyhedral Model☆21Updated last year
- ☆16Updated 6 years ago
- ☆88Updated 3 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆16Updated 5 years ago
- A C/C++ task-based programming model for shared memory and distributed parallel computing.☆72Updated 5 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- C++ library for semigroups and monoids☆62Updated last week
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated last week
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Retargetable ML compilers for the twenty-first century!☆13Updated 5 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- ALLVM Tools☆56Updated 3 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 5 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Modeling and Programming with Gecode☆50Updated 2 years ago
- ☆27Updated 4 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆107Updated last month
- SRI LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- ☆29Updated this week
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Updated 5 years ago