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:
- An awesome list of e-graph resources☆286Updated 2 weeks ago
- A Python compiler design toolkit.☆476Updated this week
- Online demo without installing at - https://buildit.so/tryit☆186Updated last month
- POC work on MLIR backend☆61Updated last year
- A minimal development of SSA theory☆205Updated last week
- Search-based compiler for high-performance DSP programming☆71Updated last year
- NPBench - A Benchmarking Suite for High-Performance NumPy☆91Updated last month
- An out-of-tree MLIR dialect template.☆113Updated last year
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 3 years ago
- SBLP 2025 MLIR Tutorial☆68Updated 4 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Updated last month
- Python bindings for egg☆50Updated 3 years ago
- A fast and simple automata library☆31Updated last week
- An MLIR-based source-to-source automatic differentiation system.☆15Updated 2 years ago
- ☆29Updated last month
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆95Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Updated 5 months ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 6 months ago
- Python bindings for the egglog rust library☆96Updated last week
- 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
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 2 months ago
- rules for writing and typesetting☆25Updated 4 years ago
- ☆31Updated 3 months ago
- Entry to model counting competition 2021.☆24Updated last year
- BuDDy BDD package (with CMake support)☆15Updated last year
- ☆35Updated 5 months ago