olivierverdier / pydflatex
Python wrapper around pdflatex
☆30Updated 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☆46Updated 2 years ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated 3 weeks ago
- CoDi: Commutative Diagrams for TeX☆30Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Deposited packages of the homalg project☆13Updated last month
- Algebra Number Theory book☆48Updated 2 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A database of small finite categories☆14Updated last year
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆95Updated 3 months ago
- The formal proof of the Odd Order Theorem☆29Updated 3 weeks ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 6 months ago
- ☆22Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆39Updated 2 years ago
- ☆45Updated last year
- Mathematical stories☆13Updated 4 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- The root repository for the SpectralSequences project.☆27Updated this week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- An in-browser Beamer presentation viewer☆17Updated last year
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 4 years ago