olivierverdier / pydflatexLinks
Python wrapper around pdflatex
☆29Updated 9 years ago
Alternatives and similar repositories for pydflatex
Users that are interested in pydflatex are comparing it to the libraries listed below
Sorting:
- Commutative diagrams with TikZ☆53Updated 2 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Mirror of ocaml-forester☆45Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Mathematical stories☆13Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Formalization of Linear Logic in Coq☆16Updated 2 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆97Updated last month
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Partial Commutative Monoids☆28Updated 2 weeks ago
- ☆23Updated 3 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Deposited packages of the homalg project☆15Updated last month
- ☆31Updated 2 weeks ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- FreeTikZ☆37Updated 7 years ago