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
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆24Updated 4 months ago
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆28Updated last year
- HTML version of pgf-tikz documentation☆46Updated 3 weeks ago
- LaTeX for Visual Studio Code☆96Updated 3 weeks ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Prettify Symbols Mode for Visual Studio Code☆89Updated last year
- Typst Package to typeset inference rule☆34Updated 3 weeks ago
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- Decode DVI files generated by LuaTeX☆10Updated 2 years ago
- Drawing commutative diagrams for Typst commute☆17Updated last year
- Run python code in typst☆33Updated last year
- The Lean 4 web editor☆88Updated 3 weeks ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- Compile Tex files easily☆89Updated 2 years ago
- ☆38Updated last year
- A typst wasm plugin to use graphviz directly inside documents☆117Updated last month
- Format numbers, units, and ranges in Typst correctly.☆43Updated 2 months ago
- Effortlessly create quantum circuit diagrams in Typst.☆72Updated this week
- Typst math typesetting for the web.☆69Updated 9 months ago
- VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself☆42Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- A typst package to add typsetting to units!☆75Updated 3 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆62Updated this week
- Typst package for creating scientific posters☆62Updated this week
- Lean 4 library for pretty printing expressions as LaTeX☆21Updated 2 months ago
- Easy insertion of unicode math symbols☆10Updated last week
- Configurable figure numbering per section in Typst.☆24Updated last year
- Synchronization for TeX☆75Updated 3 months ago
- Theorem Proving in Lean 4☆178Updated 6 months ago