oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆59Updated 6 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.☆390Updated last week
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- 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…☆329Updated last month
- Hevea is a fast latex to html translator☆114Updated this week
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- The root repository for the SpectralSequences project.☆32Updated last month
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 4 months ago
- WOFF/WOFF2 math fonts and sample CSS stylesheets☆99Updated 4 months ago
- some maths papers in English☆19Updated this week
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Mirror of ocaml-forester☆49Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated last week
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆146Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Updated 6 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆56Updated last month
- Metamath verifier in Python☆41Updated 8 months ago
- Lean web editor☆129Updated last month
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Updated last year
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 12 years ago
- A semantic Extension of TeX/LaTeX☆55Updated last month
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- Java Geometry Expert☆46Updated last week
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 3 years ago
- Pure Python library for LaTeX to MathML conversion☆234Updated 3 weeks ago
- MathWebSearch Implementation☆48Updated 3 years ago
- ☆14Updated this week
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆50Updated 11 months ago