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 2 weeks ago
- Converts MathML to LaTeX☆100Updated this week
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- The root repository for the SpectralSequences project.☆32Updated last month
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 12 years ago
- Mirror of ocaml-forester☆49Updated last year
- Java Geometry Expert☆46Updated 6 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Updated 6 months 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…☆330Updated 3 weeks ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Updated last year
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 4 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 3 weeks ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- A database of small finite categories☆14Updated 2 years ago
- Pure Python library for LaTeX to MathML conversion☆234Updated 3 weeks ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆50Updated 11 months ago
- FreeTikZ☆41Updated 8 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Updated 3 years ago
- ☆36Updated 3 weeks ago
- Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework☆120Updated 7 months ago
- Hevea is a fast latex to html translator☆114Updated last week
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- ☆26Updated 3 years ago
- VSCode support for Forester☆22Updated 2 months ago
- Book about using Lean with How To Prove It☆25Updated last month