olivierverdier / pydflatex
Python wrapper around pdflatex
☆29Updated 8 years ago
Related projects: ⓘ
- Commutative diagrams with TikZ☆45Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- An in-browser Beamer presentation viewer☆17Updated 10 months ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆42Updated 4 years ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 5 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆31Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Beamer color theme using the Solarized palette☆124Updated 10 years ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆37Updated 6 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 4 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 3 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆56Updated 5 years ago
- Mathematical stories☆13Updated 3 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆31Updated 2 weeks ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆91Updated last month
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Kan: A browser extension for reading nLab☆25Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆24Updated this week
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Worksheets and lecture notes for my math courses for school students (in German)☆10Updated last week
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 10 months ago
- C++ library for semigroups and monoids☆44Updated this week
- Theorems for Real Closed Fields☆13Updated last month
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆37Updated 3 years ago
- Random notes on mathematics (in German)☆11Updated 2 months ago
- Brent's PhD thesis.☆63Updated 8 years ago