siegebell / vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
☆88Updated 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
- agda-mode on VS Code☆173Updated last week
- ☆37Updated last year
- Idris for Visual Studio Code☆106Updated 2 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆29Updated last year
- Call JavaScript from Haskell, and vice versa!☆130Updated 5 months ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Haskell bindings for tree-sitter☆158Updated 4 months ago
- ☆47Updated 7 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆57Updated last year
- hyphen - access Haskell modules from Python☆96Updated 7 months ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- PureScript Language Support for Visual Studio Code☆17Updated 2 years ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- VSCode pluging that provides LSP support for the Dhall programming language☆17Updated last year
- A modern, extensible and well-documented prettyprinter.☆297Updated 3 months ago
- Dynamic typing in Haskell☆192Updated 5 years ago
- Documentation for Concur☆65Updated 8 months ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Generate TypeScript definition files from your ADTs☆60Updated last week
- Functional teaching language for use in a discrete mathematics course☆168Updated 3 weeks ago
- Strict markdown processor for writers☆114Updated 2 weeks ago
- Literate Haskell support for Markdown☆140Updated last month
- Haskell Debugger Extension for Visual Studio Code.☆49Updated 8 months ago
- Refinement types with static checking☆186Updated last month
- Optics via the profunctor representation theorem☆24Updated 2 months ago
- Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.☆152Updated last year
- Highlighting support for the Haskell language in visual studio code.☆96Updated 2 months ago
- Haskell language tools for Python☆158Updated 4 years ago