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
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆57Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- The Patrisika Example Language☆44Updated 2 months ago
- 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
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆43Updated last year
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- ☆47Updated 7 years ago
- Refinement Types for Scripting Languages☆67Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 6 months ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated 8 months ago
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- Generate TypeScript definition files from your ADTs☆60Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆136Updated 5 years ago
- Call JavaScript from Haskell, and vice versa!☆130Updated 5 months ago
- Portal to Haskell Debugging System☆59Updated 6 years ago
- Strict markdown processor for writers☆114Updated 2 weeks ago
- vscode extension to view TextMate scope info upon hover☆14Updated 8 years ago
- Refined types for Typescript☆24Updated 7 years ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- Embedded domain-specific language for declarative vector graphics (wrapper package)☆202Updated last year
- Haskell language tools for Python☆158Updated 4 years ago
- A Functional Graph Library for Haskell☆188Updated 4 months ago
- Highlighting support for the Haskell language in visual studio code.☆96Updated 2 months ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- ☆37Updated last year
- Development work related to the PureScript Registry☆97Updated 3 months ago