olivierverdier / pydflatex
Python wrapper around pdflatex
☆29Updated 8 years ago
Alternatives and similar repositories for pydflatex:
Users that are interested in pydflatex are comparing it to the libraries listed below
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆95Updated 5 months ago
- auto-split frame environment for LaTeX☆67Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆43Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated 3 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 4 months ago
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆62Updated last year
- An in-browser Beamer presentation viewer☆17Updated last year
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last year
- TikZ exporter ipelet☆35Updated last year
- Beamer color theme using the Solarized palette☆125Updated 11 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- Agda as a collaborative multiplayer game☆34Updated 5 months ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆12Updated last year
- Collection of animals and other beings drawn in TikZ☆93Updated last month
- Multidimensional arrays and simple tensor computations☆38Updated 11 months ago
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- A PGF backend for diagrams☆14Updated 6 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- a library for experimental linear lambda calculus☆19Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Native Jupyter kernel for GAP☆19Updated last week