opencompl / paper-templateLinks
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆43Updated 3 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:
- A Python compiler design toolkit.☆466Updated this week
- Online demo without installing at - https://buildit.so/tryit☆187Updated last week
- POC work on MLIR backend☆61Updated last year
- An out-of-tree MLIR dialect template.☆113Updated last year
- An awesome list of e-graph resources☆272Updated 3 weeks ago
- Search-based compiler for high-performance DSP programming☆69Updated last year
- A translation validation framework for MLIR☆90Updated 9 months ago
- NPBench - A Benchmarking Suite for High-Performance NumPy☆91Updated 3 weeks ago
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated this week
- NOELLE Offers Empowering LLVM Extensions☆83Updated 5 months ago
- A minimal development of SSA theory☆203Updated 2 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 2 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- SBLP 2025 MLIR Tutorial☆67Updated 3 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆139Updated last month
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 4 months ago
- Implementation of multi-core (binary) decision diagrams☆83Updated 4 months ago
- IREE compiler and runtime for Snitch☆14Updated 2 months ago
- Lingeling SAT Solver☆105Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago
- Custom-Precision Floating-point numbers.☆41Updated 2 weeks ago
- Python wrapper for isl, an integer set library☆82Updated last week
- ☆27Updated last month
- A Flexible and Efficient Proof Checker for SMT Solvers☆26Updated 3 weeks ago
- Major CS conference publication stats (including accepted and submitted) by year.☆163Updated 2 weeks ago
- A fast and simple automata library☆31Updated 2 weeks ago
- Python bindings for egg☆49Updated 2 years ago