siegebell / vsc-prettify-symbols-modeLinks
Prettify Symbols Mode for Visual Studio Code
☆92Updated last year
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
Sorting:
- vscode extension to view TextMate scope info upon hover☆15Updated 8 years ago
- agda-mode on VS Code☆177Updated last week
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- Bring the power of Tree-sitter to VSCode☆28Updated 3 months ago
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆60Updated last year
- Highlighting support for the Haskell language in visual studio code.☆97Updated 4 months ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- Call JavaScript from Haskell, and vice versa!☆135Updated last year
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Idris for Visual Studio Code☆107Updated 3 years ago
- A VS Code extension that provides language support for prolog☆102Updated last year
- Official Unison extension for Visual Studio Code☆22Updated last month
- A comparison of how computational effects and handlers are implemented in various programming languages.☆142Updated 6 years ago
- A Python backend for PureScript.☆124Updated 3 years ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Render tikzcd diagrams with JSX.☆61Updated 5 years ago
- ☆38Updated 2 years ago
- Visualize live Haskell data structures in GHCi☆139Updated last year
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- The Haskell LaTeX library.☆199Updated last year
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins☆164Updated 4 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- ☆49Updated 7 years ago
- hyphen - access Haskell modules from Python☆108Updated last month
- Я - extremely composable embeddable programming language☆82Updated last week
- OCaml extended with modular implicits☆104Updated 6 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago