opencompl / paper-templateLinks
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆44Updated 4 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:
- An awesome list of e-graph resources☆291Updated last month
- A Python compiler design toolkit.☆482Updated this week
- SBLP 2025 MLIR Tutorial☆69Updated 4 months ago
- ☆29Updated last week
- An out-of-tree MLIR dialect template.☆113Updated last year
- An I/O-efficient implementation of (Binary) Decision Diagrams☆31Updated this week
- Online demo without installing at - https://buildit.so/tryit☆188Updated last month
- A translation validation framework for MLIR☆92Updated 10 months ago
- Search-based compiler for high-performance DSP programming☆71Updated last year
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- Custom-Precision Floating-point numbers.☆41Updated last week
- ☆29Updated 2 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- POC work on MLIR backend☆61Updated last year
- A minimal development of SSA theory☆207Updated last week
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- Lingeling SAT Solver☆106Updated last year
- IREE compiler and runtime for Snitch☆14Updated 4 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 3 months ago
- The Quartz Quantum Compiler☆88Updated last week
- Website for CS 265☆33Updated last year
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated 2 weeks ago
- ☆41Updated 4 months ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 6 months ago
- A Python-native clone of LLVMs FileCheck tool☆23Updated 5 months ago
- NPBench - A Benchmarking Suite for High-Performance NumPy☆91Updated last week
- Python bindings for egg☆50Updated 3 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆71Updated last year
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆28Updated 3 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Updated 2 months ago