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

• siegebell / scope-info
  vscode extension to view TextMate scope info upon hover
  ☆16Updated 8 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆60Updated 2 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆105Updated 7 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 2 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆176Updated 2 weeks ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆188Updated 2 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
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated 11 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 2 months ago
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆134Updated 2 years ago
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆98Updated 7 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆181Updated 3 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 7 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆107Updated 3 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated this week
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆61Updated 8 years ago
• nwolverson / vscode-ide-purescript
  PureScript IDE support for VS Code
  ☆188Updated 5 months ago