rocq-community / vsc-concealLinks
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆60Updated last year
Alternatives and similar repositories for vsc-conceal
Users that are interested in vsc-conceal are comparing it to the libraries listed below
Sorting:
- Prettify Symbols Mode for Visual Studio Code☆92Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆25Updated 5 months ago
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Decode DVI files generated by LuaTeX☆11Updated 2 years ago
- Typst package for creating scientific posters☆71Updated last month
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆28Updated this week
- ☆38Updated 2 years ago
- Haskell library for parsing and evaluating typst☆60Updated 3 weeks ago
- Riemann sum graphs in Typst with CeTZ☆20Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 3 years 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
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆46Updated 3 weeks ago
- A formatter for typst☆33Updated 5 months ago
- A typst wasm plugin to use graphviz directly inside documents☆121Updated last week
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆29Updated last year
- A Typst port of undergradmath☆125Updated 2 months ago
- VSCode extension for Metamath☆10Updated last month
- Typst custom reader and writer for Pandoc☆46Updated last year
- FreeTikZ☆37Updated 7 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- Some common drafting utilities for the `typst` document typesetter☆84Updated last month
- The Lean 4 web editor☆93Updated last week
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- LaTeX grammar for tree-sitter☆134Updated last week
- Commutative diagrams with TikZ☆53Updated 2 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆171Updated last year
- Synchronization for TeX☆76Updated 5 months ago
- Create Gantt charts in Typst☆47Updated 3 weeks ago
- Python port of Entangled☆62Updated 2 months ago