Vscode Idris Alternatives

Idris for Visual Studio Code
Suggest Alternative
Alternatives To zjhmale/vscode-idris
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
dramforever/vscode-ghc-simple 216 0 0 about 5 years ago 0 20 isc TypeScript
Simple GHC (Haskell) integration for VSCode
Eugleo/magic-racket 185 0 0 almost 3 years ago 0 16 gpl-3.0 TypeScript
The best coding experience for Racket in VS Code
zjhmale/vscode-idris 89 0 0 over 6 years ago 0 23 other JavaScript
Idris for Visual Studio Code
axilleasiv/vscode-javascript-repl-docs 25 0 0 about 5 years ago 0 10
JavaScript REPL is a javascript playground for Visual Studio Code with live feedback as you type, besides your code
AndesVL/vscode-racket-repl 13 0 0 over 3 years ago 0 0 mit TypeScript
A simple REPL for Racket in Visual Studio Code.
sivertsenstian/visualclojure 12 0 0 over 8 years ago 0 1 mit JavaScript
Release-Candidate/vscode-scheme-repl 6 0 0 over 2 years ago 0 1 mit TypeScript
A Visual Studio Code extension for Chez Scheme, it uses the REPL for autocompletions and to evaluate expressions.
Alternatives To zjhmale/vscode-idris
Select To Compare


Alternative Project Comparisons
Popular Repl Projects
Popular Vscode Extension Projects
Popular User Interface Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.