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
  ☆175Updated last week
• leanprover / lean-client-js
  ☆38Updated last year
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆135Updated 8 months ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• LexiFi / menhir
  ☆20Updated last year
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 3 weeks ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• phoityne / phoityne-vscode
  Portal to Haskell Debugging System
  ☆59Updated 6 years ago
• siegebell / scope-info
  vscode extension to view TextMate scope info upon hover
  ☆15Updated 8 years ago
• marick / purescript-lenses
  Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/
  ☆33Updated 2 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆80Updated last year
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• minoki / purescript-tsd-gen
  TypeScript Declaration File (.d.ts) generator for PureScript
  ☆94Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆33Updated 4 months ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 2 years ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆58Updated 2 weeks ago
• nwolverson / vscode-language-purescript
  PureScript Language Support for Visual Studio Code
  ☆17Updated 2 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated last week
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆59Updated last year
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• purescript / registry-dev
  Development work related to the PureScript Registry
  ☆97Updated 6 months ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated last year
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆62Updated 3 months ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 5 months ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆114Updated 2 weeks ago
• mvakula / vscode-purty
  PureScript formatter for VS code
  ☆16Updated last year
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆59Updated 8 years ago