PrototypeCommon
swr1bm86/vscode-idris
Idris for Visual Studio Code
- Owner
- swr1bm86 (personal account)
- Stars
- Stars: 107
- Forks
- Forks: 21
- Language
- JavaScript
- License
- BSD-3-Clause
- Created
- 2016
- Topics
- idrisvscode-extension
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in JavaScript
All JavaScript repos- shixian64/jm-webStars: 107JavaScriptPrototype
- vincenthan2012-hub/ReadingText2htmlStars: 107JavaScriptPrototype
- gojko/lights-on-software-factoryStars: 107JavaScriptPrototype
- mudge/jquery_exampleStars: 107JavaScriptPrototype
- jchris/taskrStars: 107JavaScriptPrototype
- couchone/pagesStars: 107JavaScriptPrototype