A 21st century LaTeX wrapper
☆638Apr 28, 2024Updated 2 years ago
Alternatives and similar repositories for latexrun
Users that are interested in latexrun 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 modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆5,230Aug 1, 2026Updated 3 months ago
- arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…☆419Oct 29, 2026Updated last week
- ☆31Mar 29, 2017Updated 9 years ago
- VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.☆6,410Updated this week
- pulp: process your LaTeX log file with pulp and make a better paper☆46Feb 28, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- A modern LaTeX Beamer theme☆6,918Nov 23, 2022Updated 3 years ago
- A LaTeX package that executes Python and other code in LaTeX documents, and includes the output☆950Feb 16, 2026Updated 8 months ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,866Mar 4, 2026Updated 8 months ago
- An implementation of the Language Server Protocol for LaTeX☆2,037Oct 19, 2026Updated 2 weeks ago
- Terminal based virtual piano in Haskell, with ncurses and Euterpea☆18Nov 14, 2017Updated 8 years ago
- A tool to generate a latexdiff of a file (contained in a RCS like Git, svn, Mercurial, etc.) for several version.☆41Dec 26, 2019Updated 6 years ago
- Convert LaTeX documents into beautiful responsive web pages using LaTeXML.☆1,104Jan 3, 2024Updated 2 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- 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.
- ☆17Jul 7, 2026Updated 3 months ago
- Curated list of LaTeX awesomeness☆1,677Aug 8, 2026Updated 2 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆79May 29, 2020Updated 6 years ago
- Command-line tools for bibliographies.☆841Apr 8, 2025Updated last year
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- A Makefile for LaTeX - drop it in, type make, and magic happens.☆189Apr 24, 2023Updated 3 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆103May 7, 2025Updated last year
- Haskell implementation of the Edinburgh Logical Framework☆34Jan 12, 2026Updated 9 months ago
- a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features☆119Sep 12, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Uncover usage problems in your writing☆724Feb 13, 2022Updated 4 years ago
- An Pythonic alternative to John MacFarlane's pandocfilters, with extra helper functions☆553Feb 6, 2026Updated 9 months ago
- Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.☆2,588Aug 16, 2024Updated 2 years ago
- Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors☆678Oct 27, 2026Updated last week
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- [Mirror] A linter for prose.☆4,595Sep 4, 2026Updated 2 months ago
- Cohesive type theory☆19Dec 6, 2021Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- A LaTeX package for formatting meta-theory.☆47Nov 19, 2020Updated 5 years 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.
- DEmystify Fortran mYths☆13May 6, 2017Updated 9 years ago
- A language server for TeX and friends☆307Dec 2, 2025Updated 11 months ago
- Yet another LaTeX filter☆70Mar 26, 2024Updated 2 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- Inline, type safe X86-64 assembly programming in Agda☆70Jan 3, 2019Updated 7 years ago
- A Tufte-inspired LaTeX class for producing handouts, papers, and books☆1,896Jul 14, 2024Updated 2 years ago