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:
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 2 weeks ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Some operator abuse☆29Updated 7 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆38Updated 4 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
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 5 months ago
- An in-browser Beamer presentation viewer☆17Updated last year
- Coordinate-free hypersurfaces as Haskell types☆41Updated 6 months ago
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- A collection of hacks to efficiently run LaTeX via ssh☆40Updated 2 years ago
- Mathematical stories☆13Updated 4 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Updated 8 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Numerical computation in native Haskell☆91Updated 5 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated 3 weeks ago
- ☆23Updated 3 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated 2 weeks ago
- Algebra Number Theory book☆48Updated 3 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated 2 years ago
- Mirror of ocaml-forester☆45Updated last year