Alternatives and similar repositories for mathconverter

Users that are interested in mathconverter are comparing it to the libraries listed below

• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆384Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• roniemartinez / latex2mathml
  Pure Python library for LaTeX to MathML conversion
  ☆232Updated last week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆48Updated last year
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆114Updated 2 months ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated last week
• plastex / plastex
  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 9 months ago
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago
• patoline / patoline
  Patoline typesetting system
  ☆194Updated 3 years ago
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆45Updated 5 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆81Updated 4 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆25Updated 2 years ago
• leanprover-community / mathlib-changelog
  ☆12Updated this week
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 3 years ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆146Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆64Updated 3 months ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 7 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆132Updated this week
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆25Updated 2 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆34Updated this week
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆23Updated 3 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 4 years ago