Alternatives and similar repositories for tex-to-unicode

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

• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 9 months ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆134Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 3 weeks ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated 3 weeks ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 9 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆320Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆177Updated 3 months ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆67Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆95Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• jlaurens / synctex
  Synchronization for TeX
  ☆76Updated 5 months ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• latex3 / mathtools
  Mathematical tools to use with amsmath
  ☆64Updated 8 months ago
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆48Updated 2 months ago
• MathBases / MathBases
  ☆22Updated 3 weeks ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆71Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated 3 weeks ago