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:
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 6 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
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆95Updated 2 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Some operator abuse☆29Updated 8 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆42Updated 5 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆47Updated 7 years ago
- PL syntax macros.☆21Updated last month
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 7 years ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆44Updated 5 years ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- ☆17Updated 2 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated 2 years ago
- Template to effortlessly build math-rich websites☆40Updated 4 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆40Updated 2 years ago
- A database of small finite categories☆14Updated 2 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Updated 3 weeks ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- An in-browser Beamer presentation viewer☆17Updated 2 years ago