rocq-community / vsc-conceal
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
☆58Updated last year
Alternatives and similar repositories for vsc-conceal:
Users that are interested in vsc-conceal are comparing it to the libraries listed below
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Prettify Symbols Mode for Visual Studio Code☆89Updated last year
- Typst Package to typeset inference rule☆35Updated last month
- Haskell library for parsing and evaluating typst☆53Updated last week
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆28Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- ☆38Updated last year
- Mirror of ocaml-forester☆43Updated 9 months ago
- My mathematical Zettelkasten, created using forester.☆80Updated this week
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆76Updated 6 months ago
- LaTeX for Visual Studio Code☆92Updated this week
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Decode DVI files generated by LuaTeX☆10Updated last year
- Run python code in typst☆33Updated 11 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆23Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- FreeTikZ☆38Updated 7 years ago
- Jupyter kernel for Coq☆96Updated 6 months ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated last year
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆40Updated last month
- Some common drafting utilities for the `typst` document typesetter☆77Updated last week
- A package for marking and annotating in math blocks in Typst.☆24Updated last month
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- The Lean 4 web editor☆85Updated 2 weeks ago
- Create simple static slides with Typst☆98Updated 3 weeks ago
- Hosts the website for mathlib and other Lean community infrastructure.☆59Updated this week
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆41Updated last year