jlebar / git-pr-chainLinks
git-pr-chain
☆15Updated 5 months ago
Alternatives and similar repositories for git-pr-chain
Users that are interested in git-pr-chain are comparing it to the libraries listed below
Sorting:
- ☆86Updated 8 months ago
- A system for programming formally-verified loop transformations.☆16Updated 7 years ago
- POC work on MLIR backend☆61Updated last year
- Bazel build system rules for LaTeX☆81Updated last week
- npcomp - An aspirational MLIR based numpy compiler☆51Updated 5 years ago
- Haskell bindings for MLIR☆120Updated last month
- ☆12Updated 4 years ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- Build Systems à la Carte☆273Updated last year
- MLIR-based partitioning system☆164Updated last week
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Updated 3 months ago
- ☆37Updated 3 weeks ago
- Bazel rules for installing build results. Similar to `make install`.☆43Updated last year
- A framework to find good combinations of optimizations for computational kernels on GPUs.☆26Updated 5 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 8 months ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- ☆22Updated 6 years ago
- [DEPRECATED] Moved to ROCm/rocm-systems repo☆26Updated this week
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Python bindings for the egglog rust library☆96Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 5 months ago
- 🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds☆127Updated 9 months ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆41Updated 3 years ago
- Bazel wrapper around the pybind11 repository☆115Updated 3 weeks ago
- Test/benchmark regression and comparison system with dashboard☆120Updated last year
- ☆62Updated 2 months ago
- A standard for floating point accuracy benchmarks☆58Updated 3 weeks ago
- ☆30Updated 3 years ago
- Apollo: Online Machine Learning for Performance Portability☆26Updated last year