Alternatives and similar repositories for tex-to-unicode

Users that are interested in tex-to-unicode are comparing it to the libraries listed below

• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆319Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• MathBases / MathBases
  ☆22Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆16Updated last year
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆71Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 11 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆76Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• teorth / symmetric_project
  ☆87Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆41Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆91Updated last month
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆46Updated last month
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆41Updated last week
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆134Updated 3 years ago
• b-mehta / unit-fractions
  ☆15Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆55Updated last week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆198Updated 2 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆148Updated this week
• emichael / texthings
  Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax
  ☆84Updated 3 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago