coq-community / vsc-conceal
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆57Updated last year
Alternatives and similar repositories for vsc-conceal:
Users that are interested in vsc-conceal are comparing it to the libraries listed below
- LaTeX for Visual Studio Code☆91Updated last week
- Prettify Symbols Mode for Visual Studio Code☆88Updated last year
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- Haskell library for parsing and evaluating typst☆51Updated last week
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆29Updated last year
- Commutative diagrams with TikZ☆47Updated 2 years ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Typst math typesetting for the web.☆66Updated 6 months ago
- Algorithm pseudocode typesetting library for Typst☆15Updated 9 months ago
- HTML version of pgf-tikz documentation☆45Updated last month
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆165Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated last month
- Run python code in typst☆32Updated 9 months ago
- Effortlessly create quantum circuit diagrams in Typst.☆57Updated last week
- Typst package for creating scientific posters☆54Updated this week
- Mathematical tools to use with amsmath☆60Updated 4 months ago
- A Wolfram Language Server☆216Updated 2 years ago
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆35Updated last week
- GitHub Action to run arbitrary commands in a TeXLive environment☆97Updated 11 months ago
- Enter Unicode characters using LaTeX notation☆92Updated last year
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Relative positioning by pins, especially useful for making slides in typst.☆208Updated 4 months ago
- ☆37Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Compile Tex files easily☆87Updated 2 years ago
- A typst wasm plugin to use graphviz directly inside documents☆103Updated last month
- A project to digitalise results from physics into Lean. (formally called HepLean)☆109Updated this week
- A library for typesetting mathematical theorems in typst.☆16Updated last month
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year