Alternatives and similar repositories for vsc-prettify-symbols-mode:

Users that are interested in vsc-prettify-symbols-mode are comparing it to the libraries listed below

• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated last week
• leanprover / lean-client-js
  ☆37Updated last year
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆29Updated last year
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆130Updated 5 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• tree-sitter / haskell-tree-sitter
  Haskell bindings for tree-sitter
  ☆158Updated 4 months ago
• xgrommx / idris-ecosystem
  ☆47Updated 7 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• coq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆57Updated last year
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆96Updated 7 months ago
• konn / vscode-generic-input-method
  Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
  ☆11Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• nwolverson / vscode-language-purescript
  PureScript Language Support for Visual Studio Code
  ☆17Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 2 years ago
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated last year
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 3 months ago
• chrisdone-archive / dynamic
  Dynamic typing in Haskell
  ☆192Updated 5 years ago
• ajnsit / concur-documentation
  Documentation for Concur
  ☆65Updated 8 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆60Updated last week
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated 3 weeks ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆114Updated 2 weeks ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆140Updated last month
• phoityne / hdx4vsc
  Haskell Debugger Extension for Visual Studio Code.
  ☆49Updated 8 months ago
• nikita-volkov / refined
  Refinement types with static checking
  ☆186Updated last month
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆24Updated 2 months ago
• haskelly-dev / Haskelly
  Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.
  ☆152Updated last year
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 2 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆158Updated 4 years ago