siegebell / vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
☆86Updated last year
Related projects ⓘ
Alternatives and complementary repositories for vsc-prettify-symbols-mode
- Easy insertion of unicode math symbols☆47Updated last year
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆28Updated last year
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆54Updated last year
- ☆34Updated last year
- Coq Support for Visual Studio Code☆92Updated 5 years ago
- agda-mode on VS Code☆170Updated this week
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- vscode extension to view TextMate scope info upon hover☆14Updated 7 years ago
- A Plugin to use Idris with Sublime☆27Updated 3 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆20Updated last year
- ☆47Updated 6 years ago
- A VS Code extension that provides language support for prolog☆97Updated last year
- Android 2048 game using Yampa FRP library in Eta☆56Updated 6 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 3 months ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- The engine for haskell ide-integration. Not an IDE☆18Updated 4 years ago
- Generate TypeScript definition files from your ADTs☆60Updated 3 weeks ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- ☆24Updated 2 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Editor for language composition☆56Updated last year
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- The Patrisika Example Language☆44Updated 9 months ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆107Updated 7 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago