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

• leanprover / lean-client-js
  ☆38Updated 2 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated last year
• ojsheikh / unicode-latex
  A visual studio code extension to insert Unicode symbols given LaTeX symbol names
  ☆30Updated 2 years ago
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆137Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆37Updated last month
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 6 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• LexiFi / menhir
  ☆21Updated last year
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated 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
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 7 months ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• tweag / inline-js
  Call JavaScript from Haskell, and vice versa!
  ☆136Updated 9 months ago
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆25Updated 6 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆30Updated 2 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated this week
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 2 months ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆31Updated 5 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆189Updated 8 months ago
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆141Updated 6 years ago