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 7 years ago
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆37Updated 4 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
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Free group automorphisms and train-track representative in python/sage☆11Updated last year
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- ☆47Updated 2 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆40Updated 2 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 8 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Deposited packages of the homalg project☆16Updated last week
- A database of small finite categories☆14Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆54Updated 3 years ago
- CAP project -- Categories, Algorithms, and Programming☆34Updated last week
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Beamer color theme using the Solarized palette☆125Updated 11 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 7 years ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Directed type theory for formal category theory☆17Updated 8 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago