opencompl / paper-templateLinks
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆42Updated 2 months ago
Alternatives and similar repositories for paper-template
Users that are interested in paper-template are comparing it to the libraries listed below
Sorting:
- POC work on MLIR backend☆61Updated last year
- A Python compiler design toolkit.☆457Updated last week
- An out-of-tree MLIR dialect template.☆111Updated last year
- An awesome list of e-graph resources☆268Updated last week
- ☆28Updated 2 weeks ago
- Online demo without installing at - https://buildit.so/tryit☆186Updated 2 weeks ago
- IREE compiler and runtime for Snitch☆14Updated 2 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆116Updated last month
- A minimal development of SSA theory☆198Updated last week
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆78Updated last week
- A translation validation framework for MLIR☆89Updated 8 months ago
- NPBench - A Benchmarking Suite for High-Performance NumPy☆89Updated this week
- Python interface for MLIR - the Multi-Level Intermediate Representation☆270Updated last year
- Custom-Precision Floating-point numbers.☆38Updated 11 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated 2 weeks ago
- Search-based compiler for high-performance DSP programming☆69Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆112Updated 4 months ago
- ☆41Updated 2 months ago
- An interactive web-based tool for exploring intermediate representations of PyTorch and Triton models☆50Updated last week
- Python wrapper for isl, an integer set library☆81Updated 2 weeks ago
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- NOELLE Offers Empowering LLVM Extensions☆82Updated 4 months ago
- SBLP 2025 MLIR Tutorial☆67Updated 2 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- A Python-native clone of LLVMs FileCheck tool☆21Updated 3 months ago
- Library to plot integer sets and maps☆53Updated 9 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆118Updated 2 years ago
- 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