A template for writing CS papers with latex -- includes CI, todonotes, ...
☆46Sep 16, 2026Updated last month
Alternatives and similar repositories for paper-template
Users that are interested in paper-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python-native clone of LLVMs FileCheck tool☆25Sep 3, 2026Updated last month
- A Python compiler design toolkit.☆607Updated this week
- Declarative MLIR compilers in Python!☆37Oct 9, 2020Updated 6 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- ☆63Feb 10, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago
- Verified Intermediate Representation☆133Updated this week
- ☆28Nov 29, 2025Updated 11 months ago
- E-Graphs, natively in MLIR☆49Oct 22, 2026Updated last week
- A enumerator for MLIR, relying on the information given by IRDL.☆26Oct 8, 2026Updated 3 weeks ago
- math for origami. linear algebra, geometry, 2D and 3D, good interoperability with SVG☆26Aug 31, 2023Updated 3 years ago
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 4 years ago
- Course web page generator framework☆28Jul 4, 2012Updated 14 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Oct 13, 2026Updated 2 weeks ago
- RISC-V emulator in python☆64Aug 26, 2026Updated 2 months ago
- ☆22Apr 27, 2023Updated 3 years ago
- Chunky Loop Interaction☆25Aug 13, 2019Updated 7 years ago
- ☆12Jul 9, 2021Updated 5 years ago
- MLIR+EqSat☆32Jan 10, 2026Updated 9 months ago
- An out-of-tree MLIR dialect template.☆120Mar 26, 2026Updated 7 months ago
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- Grammar synthesis algorithm using a black box oracle☆39May 17, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16☆16Jul 14, 2016Updated 10 years ago
- POC work on MLIR backend☆64Aug 21, 2024Updated 2 years ago
- Diff-o-matic does auto diff☆14May 9, 2022Updated 4 years ago
- A minimal development of SSA theory☆273Jul 28, 2026Updated 3 months ago
- An experimental optimizing compiler written by LLM☆28Oct 24, 2026Updated last week
- An MLIR frontend for tensor expressions☆24Sep 5, 2020Updated 6 years ago
- Driving Snax with MLIR☆26Apr 22, 2026Updated 6 months ago
- Julia library to manipulate MLIR dialects.☆68Oct 22, 2026Updated last week
- Supporting code for the A3D3 HDR challenge☆12Apr 6, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Generic scaffolding for an end-to-end LLVM-based compiler☆36Dec 30, 2020Updated 5 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆132Oct 23, 2026Updated last week
- ☆10Oct 22, 2019Updated 7 years ago
- A scalable High-Level Synthesis framework on MLIR☆306May 15, 2024Updated 2 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- Example project showing the project structure of a simple chat app built with IHP☆10Aug 30, 2022Updated 4 years ago