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.
  ☆327Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated this week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆47Updated last year
• jlaurens / synctex
  Synchronization for TeX
  ☆77Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆185Updated 6 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆226Updated this week
• WolframResearch / wolfram-notebook-embedder
  JavaScript embedder for Wolfram Cloud notebooks
  ☆59Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• MathBases / MathBases
  ☆24Updated 3 weeks ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated 3 weeks ago
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆50Updated 2 weeks ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆95Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆248Updated 2 weeks ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last month
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆71Updated 2 years ago
• latex3 / mathtools
  Mathematical tools to use with amsmath
  ☆64Updated 11 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆28Updated 2 weeks ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆255Updated last year
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆109Updated last week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year