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:
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last month
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 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
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- Some operator abuse☆29Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- The formal proof of the Odd Order Theorem☆31Updated last month
- A semantic Extension of TeX/LaTeX☆53Updated this week
- Schemes in Lean (v2)☆43Updated 5 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- An experimental category theory library for Lean☆52Updated last year
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 3 months ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 4 months ago
- ☆23Updated 3 years ago
- Mirror of ocaml-forester☆45Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 7 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago