opencompl / paper-templateLinks
A template for writing CS papers with latex -- includes CI, todonotes, ...
☆41Updated 2 weeks 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.☆384Updated this week
- An out-of-tree MLIR dialect template.☆105Updated 11 months ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- An awesome list of e-graph resources☆204Updated last month
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- NPBench - A Benchmarking Suite for High-Performance NumPy☆86Updated 2 months ago
- ☆23Updated this week
- POC work on MLIR backend☆56Updated 11 months ago
- A translation validation framework for MLIR☆88Updated 4 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆84Updated 2 weeks ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆104Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated this week
- A minimal development of SSA theory☆154Updated this week
- Python bindings for egg☆49Updated 2 years ago
- IREE compiler and runtime for Snitch☆12Updated 3 weeks ago
- NOELLE Offers Empowering LLVM Extensions☆78Updated 2 weeks ago
- Website for CS 265☆29Updated 7 months ago
- Custom-Precision Floating-point numbers.☆38Updated 7 months ago
- Search-based compiler for high-performance DSP programming☆67Updated 9 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆85Updated this week
- ☆40Updated 3 weeks ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 2 months ago
- BuDDy BDD package (with CMake support)☆13Updated last year
- Updated C version of the Test Suite for Vectorising Compilers☆63Updated last year
- ☆38Updated 4 months ago
- Lingeling SAT Solver☆103Updated last year
- A Python-native clone of LLVMs FileCheck tool☆20Updated 3 months ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆26Updated last month
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆123Updated last month
- Re-implementation of the TASO compiler using equality saturation☆134Updated 4 years ago