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
  ☆14Updated 8 years ago
• leanprover / lean-client-js
  ☆38Updated last year
• rocq-community / vsc-conceal
  Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
  ☆58Updated 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
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆100Updated last year
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆50Updated 5 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 4 months ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• idris-hackers / idris-sublime
  A Plugin to use Idris with Sublime
  ☆27Updated 4 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆96Updated 6 months ago
• coq-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
• swr1bm86 / vscode-idris
  Idris for Visual Studio Code
  ☆106Updated 2 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• JustusAdam / language-haskell
  Highlighting support for the Haskell language in visual studio code.
  ☆96Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 7 months ago
• LexiFi / menhir
  ☆20Updated 11 months ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆103Updated 6 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆105Updated 9 years ago
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• coq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆27Updated 4 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated 4 months ago
• batsh-dev-team / Dlist
  Difference list library for OCaml
  ☆34Updated 4 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆52Updated 4 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• tchajed / spacemacs-coq
  A Coq layer for Spacemacs
  ☆9Updated 7 years ago