oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆59Updated 5 years ago
Alternatives and similar repositories for mathconverter
Users that are interested in mathconverter are comparing it to the libraries listed below
Sorting:
- A Haskell library for converting LaTeX math to MathML.☆377Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- Examples of technical drawing with John Hobby's MetaPost language☆54Updated last month
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Converts MathML to LaTeX☆98Updated last month
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- Python package to convert LaTeX markup to DOM☆15Updated 7 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated last month
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆321Updated 6 months ago
- some maths papers in English☆19Updated last month
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- The root repository for the SpectralSequences project.☆31Updated last month
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆23Updated 3 months ago
- PRolog Equation Solving System☆29Updated 9 years ago
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆63Updated 2 weeks ago
- A program for making zooming slides in figma.☆38Updated 2 months ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated 2 years ago
- ☆38Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- Mirror of ocaml-forester☆44Updated last year
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- Collection of animals and other beings drawn in TikZ☆97Updated 2 weeks ago
- A modern string diagram editor for the web.☆25Updated 4 months ago
- ☆10Updated this week