Alternatives and similar repositories for mathconverter

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

• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆374Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated 2 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• 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…
  ☆319Updated 5 months ago
• transpect / mml2tex
  Converts MathML to LaTeX
  ☆95Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• siefkenj / unified-latex
  Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework
  ☆110Updated 2 months ago
• roniemartinez / latex2mathml
  Pure Python library for LaTeX to MathML conversion
  ☆219Updated last week
• davidcarlisle / web-xslt
  XSLT and javascript code intended mostly for manipulating MathML and OpenMath.
  ☆72Updated 4 years ago
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 5 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 2 weeks ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆43Updated last month
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 6 months ago
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆143Updated 9 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆30Updated 3 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated last month