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

• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 7 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆30Updated 2 years 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
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆136Updated 10 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆141Updated 6 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• tree-sitter / haskell-tree-sitter
  Haskell bindings for tree-sitter
  ☆162Updated 9 months ago
• AlecGhost / tree-sitter-vscode
  Bring the power of Tree-sitter to VSCode
  ☆28Updated last month
• nwolverson / vscode-language-purescript
  PureScript Language Support for Visual Studio Code
  ☆18Updated 4 months ago
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆97Updated 3 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last month
• siegebell / scope-info
  vscode extension to view TextMate scope info upon hover
  ☆15Updated 8 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated last week
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 4 months ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆104Updated 6 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• haskelly-dev / Haskelly
  Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.
  ☆152Updated 2 years ago
• nwolverson / vscode-ide-purescript
  PureScript IDE support for VS Code
  ☆186Updated last month
• LexiFi / menhir
  ☆21Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 10 months ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago