opencompl / paper-templateLinks
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆35Updated this week
Alternatives and similar repositories for paper-template
Users that are interested in paper-template are comparing it to the libraries listed below
Sorting:
- An awesome list of e-graph resources☆183Updated last month
- ☆23Updated 2 weeks ago
- An out-of-tree MLIR dialect template.☆102Updated 9 months ago
- IREE compiler and runtime for Snitch☆12Updated 2 months ago
- A Python Compiler Design Toolkit☆366Updated this week
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆102Updated this week
- A translation validation framework for MLIR☆87Updated 3 months ago
- NOELLE Offers Empowering LLVM Extensions☆76Updated 2 months ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- A minimal development of SSA theory☆145Updated this week
- ☆22Updated this week
- ☆40Updated this week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆118Updated 2 months ago
- POC work on MLIR backend☆55Updated 10 months ago
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆96Updated 9 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- A sandbox for quick iteration and experimentation on projects related to IREE, MLIR, and LLVM☆58Updated 3 months ago
- A repository to test dialects defined dynamically.☆12Updated 2 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated last year
- FPGA synthesis tool powered by program synthesis☆49Updated last month
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆97Updated last month
- summaries of courses taken at ETH☆28Updated 3 years ago
- The Splash-3 benchmark suite☆44Updated 2 years ago
- A verification tool for many memory models☆96Updated this week
- Bridging polyhedral analysis tools to the MLIR framework☆113Updated last year
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 11 months ago
- Data-Centric MLIR dialect☆42Updated last year
- Updated C version of the Test Suite for Vectorising Compilers☆61Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago