rocq-community / vsc-conceal
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆59Updated last year
Alternatives and similar repositories for vsc-conceal:
Users that are interested in vsc-conceal are comparing it to the libraries listed below
- Haskell library for parsing and evaluating typst☆55Updated 2 weeks ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated last year
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆28Updated last year
- Decode DVI files generated by LuaTeX☆10Updated last year
- A formatter for typst☆31Updated 3 months ago
- A typst wasm plugin to use graphviz directly inside documents☆116Updated 2 weeks ago
- Format numbers, units, and ranges in Typst correctly.☆43Updated last month
- A library for typesetting mathematical theorems in typst.☆17Updated last month
- LaTeX grammar for tree-sitter☆128Updated 2 months ago
- Synchronization for TeX☆75Updated 3 months ago
- Prettify Symbols Mode for Visual Studio Code☆88Updated last year
- Run python code in typst☆33Updated 11 months ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- Typst Package to typeset inference rule☆34Updated last month
- Commutative diagrams with TikZ☆49Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated 3 months ago
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- LaTeX for Visual Studio Code☆93Updated this week
- Easy insertion of unicode math symbols☆49Updated 2 years ago
- Typst package for creating scientific posters☆61Updated this week
- Typst custom reader and writer for Pandoc☆46Updated last year
- HTML version of pgf-tikz documentation☆46Updated this week
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- My mathematical Zettelkasten, created using forester.☆82Updated this week
- The Lean 4 web editor☆87Updated last week
- Some common drafting utilities for the `typst` document typesetter☆78Updated last week
- Configurable figure numbering per section in Typst.☆24Updated last year
- Haskell parser for the djot light markup language☆25Updated 6 months ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆42Updated last year