olivierverdier / pydflatex
Python wrapper around pdflatex
☆29Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for pydflatex
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆42Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 6 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- An in-browser Beamer presentation viewer☆17Updated last year
- Beamer color theme using the Solarized palette☆124Updated 10 years ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 5 years ago
- PhD course on Functional Programming and Climate Impact Research☆48Updated this week
- CAP project -- Categories, Algorithms, and Programming☆24Updated this week
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- Collection of animals and other beings drawn in TikZ☆90Updated last month
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 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
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆39Updated last year
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆58Updated last year
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆51Updated last year
- A Lean file formatter☆63Updated last year
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆180Updated 10 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated 9 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Revised Omega-categorical Typechecker☆25Updated 2 weeks ago
- A modern LATEX beamer theme for the Universidad EAFIT☆10Updated 6 years ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆94Updated 3 weeks ago
- Deposited packages of the homalg project☆12Updated this week