coq-community / vsc-conceal

Related projects ⓘ

Alternatives and complementary repositories for vsc-conceal

• gpoore / codebraid-preview-vscode
  Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid
  ☆29Updated 9 months ago
• leanprover / lean-client-js
  ☆34Updated last year
• latex-lsp / texlab-vscode
  LaTeX for Visual Studio Code
  ☆89Updated this week
• jlaurens / synctex
  Synchronization for TeX
  ☆65Updated last week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆77Updated 3 weeks ago
• Robotechnic / diagraph
  A typst wasm plugin to use graphviz directly inside documents
  ☆82Updated 2 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆106Updated this week
• jonaspleyer / peace-of-posters
  Typst package for creating scientific posters
  ☆42Updated 3 weeks ago
• 0xpapercut / wypst
  Typst math typesetting for the web.
  ☆59Updated 3 months ago
• ChHecker / unify
  Format numbers, units, and ranges in Typst correctly.
  ☆25Updated last week
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• ntjess / typst-drafting
  Some common drafting utilities for the `typst` document typesetter
  ☆61Updated this week
• peng1999 / typst-pyrunner
  Run python code in typst
  ☆30Updated 6 months ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆21Updated 3 years ago
• lvignoli / typst-pandoc
  Typst custom reader and writer for Pandoc
  ☆44Updated last year
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆42Updated 3 weeks ago
• RubixDev / typst-i-figured
  Configurable figure numbering per section in Typst.
  ☆15Updated 9 months ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆35Updated 2 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆148Updated 2 months ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆68Updated last month
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆92Updated 10 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆47Updated last year
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆86Updated 2 years ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆19Updated 3 months ago
• johanvx / typst-undergradmath
  A Typst port of undergradmath
  ☆110Updated 5 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆190Updated this week
• OrangeX4 / typst-pinit
  Relative positioning by pins, especially useful for making slides in typst.
  ☆176Updated 3 weeks ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆161Updated last month
• lean-ja / lean-by-example
  コード例で学ぶ Lean 言語
  ☆48Updated this week