# swr1bm86/vscode-idris

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

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

swr1bm86/vscode-idris, dépôt open source à 107 étoiles sur GitHub. Carte Prototype de RepoMasters. Idris for Visual Studio Code Langage : JavaScript.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [swr1bm86](https://repo.masters-masters.com/owners/swr1bm86) |
| Étoiles | 107 |
| Forks | 21 |
| Langage | [JavaScript](https://repo.masters-masters.com/languages/javascript) |
| Licence | BSD-3-Clause |
| Création | 2016 |
| Sujets | idris, vscode-extension |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [swr1bm86/vscode-idris](https://github.com/swr1bm86/vscode-idris) |

## Fiche du dépôt

Idris for Visual Studio Code

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts JavaScript

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.