Alternatives and similar repositories for vsc-conceal:

Users that are interested in vsc-conceal are comparing it to the libraries listed below

• siegebell / vsc-prettify-symbols-mode
  Prettify Symbols Mode for Visual Studio Code
  ☆89Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆75Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• latex-lsp / texlab-vscode
  LaTeX for Visual Studio Code
  ☆92Updated last week
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆93Updated last year
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• konn / vscode-generic-input-method
  Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
  ☆11Updated last year
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆45Updated 2 months ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆23Updated 2 months ago
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆34Updated last month
• leanprover / lean-client-js
  ☆38Updated last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆96Updated 6 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆313Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 11 months ago
• lf- / typst-algorithmic
  Algorithm pseudocode typesetting library for Typst
  ☆21Updated 11 months ago
• latex3 / mathtools
  Mathematical tools to use with amsmath
  ☆62Updated 5 months ago
• lean-ja / lean-by-example
  コード例で学ぶ Lean 言語
  ☆84Updated this week
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• DominikPeters / texpresso-vscode
  Visual Studio Code extension for interacting with texpresso
  ☆15Updated last week
• Robotechnic / diagraph
  A typst wasm plugin to use graphviz directly inside documents
  ☆110Updated 2 weeks ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆85Updated last week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year