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

• coq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆57Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆44Updated 2 months ago
• 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
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆43Updated last year
• 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
• xgrommx / idris-ecosystem
  ☆47Updated 7 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆67Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 6 months ago
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated 8 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• codedownio / aeson-typescript
  Generate TypeScript definition files from your ADTs
  ☆60Updated last week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆130Updated 5 months ago
• phoityne / phoityne-vscode
  Portal to Haskell Debugging System
  ☆59Updated 6 years ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆114Updated 2 weeks ago
• siegebell / scope-info
  vscode extension to view TextMate scope info upon hover
  ☆14Updated 8 years ago
• jedahu / ts-refined
  Refined types for Typescript
  ☆24Updated 7 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• diagrams / diagrams
  Embedded domain-specific language for declarative vector graphics (wrapper package)
  ☆202Updated last year
• qfpl / hpython
  Haskell language tools for Python
  ☆158Updated 4 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆188Updated 4 months ago
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 2 months ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• leanprover / lean-client-js
  ☆37Updated last year
• purescript / registry-dev
  Development work related to the PureScript Registry
  ☆97Updated 3 months ago