opencompl / paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆35Updated 3 weeks ago
Alternatives and similar repositories for paper-template:
Users that are interested in paper-template are comparing it to the libraries listed below
- An out-of-tree MLIR dialect template.☆102Updated 7 months ago
- ☆23Updated 2 weeks ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆89Updated this week
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- A translation validation framework for MLIR☆81Updated last month
- A Python Compiler Design Toolkit☆338Updated this week
- A minimal development of SSA theory☆121Updated this week
- Website for CS 265☆28Updated 3 months ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- ☆16Updated 5 months ago
- IREE compiler and runtime for Snitch☆11Updated 2 weeks ago
- ☆41Updated this week
- A sandbox for quick iteration and experimentation on projects related to IREE, MLIR, and LLVM☆57Updated last month
- Pono: A flexible and extensible SMT-based model checker☆99Updated this week
- FPGA synthesis tool powered by program synthesis☆41Updated last week
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆84Updated 8 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated 3 weeks ago
- An awesome list of e-graph resources☆153Updated last week
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 9 months ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆49Updated last year
- Conversions to MLIR EmitC☆128Updated 4 months ago
- Data-Centric MLIR dialect☆40Updated last year
- DiscoPoP - Discovery of Potential Parallelism☆42Updated this week
- A lightweight, Pythonic, frontend for MLIR☆81Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago
- Time-sensitive affine types for predictable hardware generation☆142Updated 9 months ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- A Hardware Pipeline Description Language☆44Updated last year
- POC work on MLIR backend☆54Updated 8 months ago
- NOELLE Offers Empowering LLVM Extensions☆77Updated last week