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:
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated this week
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆40Updated 5 years ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Some operator abuse☆29Updated 8 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 8 months ago
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 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
- Categorical logic from a categorical point of view☆81Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Numerical computation in native Haskell☆91Updated 5 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- ☆24Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Updated last week
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- A database of small finite categories☆14Updated last year
- Free group automorphisms and train-track representative in python/sage☆12Updated 3 months ago
- Julia embedded in Haskell☆52Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year