olivierverdier / pydflatexLinks
Python wrapper around pdflatex
☆30Updated 9 years ago
Alternatives and similar repositories for pydflatex
Users that are interested in pydflatex are comparing it to the libraries listed below
Sorting:
- Some operator abuse☆29Updated 8 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Mathematical stories☆13Updated 4 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆40Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 7 months ago
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 5 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Updated 8 years ago
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Free group automorphisms and train-track representative in python/sage☆12Updated 2 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Deposited packages of the homalg project☆16Updated 2 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Algebra Number Theory book☆48Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- ☆17Updated 2 years ago
- ☆48Updated 2 years ago
- ☆23Updated 3 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated 2 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 7 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated 2 months ago