cmuparlay / psacLinks
Parallel Self-Adjusting Computation
☆15Updated 4 years ago
Alternatives and similar repositories for psac
Users that are interested in psac are comparing it to the libraries listed below
Sorting:
- Online demo without installing at - https://buildit.so/tryit☆186Updated 3 weeks ago
- A repository to test dialects defined dynamically.☆12Updated 2 years ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- ☆87Updated last year
- Website for CS 265☆32Updated 11 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆119Updated 2 months ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Updated 5 years ago
- A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)☆71Updated 2 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆130Updated 10 months ago
- simple snapshot-style integration testing for commands☆72Updated 6 months ago
- Declarative MLIR compilers in Python!☆35Updated 5 years ago
- A term rewriting system for experimental programming language development.☆47Updated this week
- GPU model checker☆11Updated 6 years ago
- New version of pbbs benchmarks☆96Updated 2 weeks ago
- The Shine compiler for the RISE language☆83Updated this week
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- Library for lock-free locks☆83Updated 2 years ago
- Lace - implementation of work-stealing in C☆55Updated 4 months ago
- Parallel Balanced Binary Tree Structures☆121Updated 8 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 6 months ago
- ☆44Updated last month
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 2 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 6 years ago
- A program synthesis framework for verified lifting applications☆57Updated 6 months ago
- embedding MLIR in LEAN☆48Updated last year
- vertical + gpu + free join + datalog☆21Updated 10 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆112Updated 4 months ago