# swr1bm86/vscode-idris

<https://repo.masters-masters.com/en/repos/swr1bm86/vscode-idris>

[Home](https://repo.masters-masters.com/en) › [swr1bm86](https://repo.masters-masters.com/en/owners/swr1bm86) › [vscode-idris](https://repo.masters-masters.com/en/repos/swr1bm86/vscode-idris)

swr1bm86/vscode-idris has 107 stars on GitHub. Its RepoMasters card: Prototype tier. Idris for Visual Studio Code Language: JavaScript.

| Field | Value |
| --- | --- |
| Owner | [swr1bm86](https://repo.masters-masters.com/en/owners/swr1bm86) |
| Stars | 107 |
| Forks | 21 |
| Language | [JavaScript](https://repo.masters-masters.com/en/languages/javascript) |
| License | BSD-3-Clause |
| Created | 2016 |
| Topics | idris, vscode-extension |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [swr1bm86/vscode-idris](https://github.com/swr1bm86/vscode-idris) |

## Repository

Idris for Visual Studio Code

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in JavaScript

- [shixian64/jm-web · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/shixian64/jm-web)
- [vincenthan2012-hub/ReadingText2html · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/vincenthan2012-hub/ReadingText2html)
- [gojko/lights-on-software-factory · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/gojko/lights-on-software-factory)
- [mudge/jquery\_example · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/mudge/jquery_example)
- [jchris/taskr · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/jchris/taskr)
- [couchone/pages · ★ 107 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/couchone/pages)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.