cmuparlay / psac
Parallel Self-Adjusting Computation
☆11Updated 3 years ago
Alternatives and similar repositories for psac:
Users that are interested in psac are comparing it to the libraries listed below
- MlpIndex - Extremely fast ordered index via memory level parallelism☆12Updated 5 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆28Updated 11 years ago
- MimIR is my Intermediate Representation☆51Updated this week
- Lightweight framework for easy and efficient code generation☆99Updated 5 months ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- Lace - implementation of work-stealing in C☆35Updated 9 months ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- Multiplying... backward?☆13Updated 4 years ago
- unrolled skip list library for C☆21Updated 5 years ago
- A term rewriting system for experimental programming language development.☆39Updated 3 weeks ago
- GPU model checker☆11Updated 5 years ago
- A benchmark for cache efficient data structures.☆29Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Garbage collected concurrent hash tries.☆19Updated 8 years ago
- ☆20Updated 2 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Markup source code showing optimizations☆36Updated 4 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …☆22Updated 2 years ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- ☆79Updated 2 months ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago