Tensor Compute Primitives: Mid-level Intermediate Representation for Machine Learning Programs
☆35Jan 30, 2025Updated last year
Alternatives and similar repositories for mlir-tcp
Users that are interested in mlir-tcp are comparing it to the libraries listed below
Sorting:
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 9 months ago
- Declarative and reactive terminal UI library for Rust☆14Mar 7, 2023Updated 3 years ago
- Abstract BSP tree in Rust☆14Sep 3, 2021Updated 4 years ago
- ☆18Jun 6, 2025Updated 9 months ago
- MLIR grammar for tree-sitter☆19Updated this week
- ☆11Mar 5, 2026Updated 2 weeks ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Sep 4, 2016Updated 9 years ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrency☆43Mar 4, 2026Updated 2 weeks ago
- ☆14Jul 21, 2015Updated 10 years ago
- Code for "An Introduction to Tensor Tiling in MLIR" tutorial given at EuroLLVM 2025☆22Jun 5, 2025Updated 9 months ago
- ☆24Oct 17, 2016Updated 9 years ago
- A tree-walk lox interpreter written in Rust.☆20Apr 1, 2018Updated 7 years ago
- Rust bindings for the Ipopt non-linear constrained optimization library.☆21Dec 21, 2025Updated 3 months ago
- A playground for a global prompt for working with Claude Code and similar AI systems.☆30Aug 27, 2025Updated 6 months ago
- TORCH_TRACE parser for PT2☆78Updated this week
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- An experimental library for adding attributes to threads (without rewriting the whole thread interface), for C11 and similar.☆18Nov 17, 2025Updated 4 months ago
- Embedded Universal DSL: a good DSL for us, by us☆68Updated this week
- Background jobs inspector for Apalis☆63Updated this week
- MLIR+EqSat☆26Jan 10, 2026Updated 2 months ago
- A lightweight MLIR Python frontend with support for PyTorch☆29Sep 3, 2024Updated last year
- CUDA implementation of "Energy-Efficient Adaptive 3D Sensing" (CVPR 2023)☆12Mar 28, 2023Updated 2 years ago
- Draw sexp☆29Jun 28, 2018Updated 7 years ago
- [CVPR-2023] Towards Any Structural Pruning☆17Apr 27, 2023Updated 2 years ago
- Generates random utf-8 strings for fuzz t�sting character encoding probl�ms☆11Aug 21, 2015Updated 10 years ago
- A Snake-style game in Racket.☆25Jul 7, 2019Updated 6 years ago
- Segmenting a given document using recursive xy-cut algorithm.☆12Oct 9, 2018Updated 7 years ago
- Get bundle name from a bundle identifier (macOS): com.apple.Safari → Safari☆18Mar 7, 2021Updated 5 years ago
- Immutable empty and singleton collections☆14Mar 2, 2023Updated 3 years ago
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 10 years ago
- A NES emulator in Wa. 凹语言 NES 模拟器☆11Jun 15, 2025Updated 9 months ago
- Low-latency live streaming PoC☆11Jul 30, 2019Updated 6 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 6 months ago
- Parallel Computing -- Validation Suite: Validation engine for Exascale project benchmarks☆15Nov 6, 2025Updated 4 months ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆27Jan 14, 2026Updated 2 months ago
- a rust port of the lox interpreter described in Crafting Interpreters by Robert Nystrom☆14Jan 10, 2025Updated last year
- WASIX extensions for Zig ⚡☆12Jun 12, 2025Updated 9 months ago
- A NSOutlineView subclass that provides a simple search capability across the tree of objects☆11Oct 21, 2018Updated 7 years ago