# banacorn/agda-mode-vscode

<https://repo.masters-masters.com/repos/banacorn/agda-mode-vscode>

[Accueil](https://repo.masters-masters.com/) › [banacorn](https://repo.masters-masters.com/owners/banacorn) › [agda-mode-vscode](https://repo.masters-masters.com/repos/banacorn/agda-mode-vscode)

banacorn/agda-mode-vscode, dépôt open source à 189 étoiles sur GitHub. Carte Prototype de RepoMasters. agda-mode on VS Code Langage : ReScript.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [banacorn](https://repo.masters-masters.com/owners/banacorn) |
| Étoiles | 189 |
| Forks | 42 |
| Langage | [ReScript](https://repo.masters-masters.com/languages/rescript) |
| Licence | MIT |
| Création | 2020 |
| Sujets | agda, agda-mode, vscode, vscode-extension, reasonml |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [banacorn/agda-mode-vscode](https://github.com/banacorn/agda-mode-vscode) |

## Fiche du dépôt

agda-mode on VS 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 ReScript

- [RationalJS/future · ★ 216 · ReScript · Prototype](https://repo.masters-masters.com/repos/RationalJS/future)
- [reasonml-community/bs-express · ★ 209 · ReScript · Prototype](https://repo.masters-masters.com/repos/reasonml-community/bs-express)
- [tempesta-tech/blog · ★ 194 · ReScript · Prototype](https://repo.masters-masters.com/repos/tempesta-tech/blog)
- [Meta3D-Technology/Meta3D · ★ 185 · ReScript · Prototype](https://repo.masters-masters.com/repos/Meta3D-Technology/Meta3D)
- [Shinei-Nouzen-Arch/FPGA-Agent · ★ 181 · ReScript · Prototype](https://repo.masters-masters.com/repos/Shinei-Nouzen-Arch/FPGA-Agent)
- [johnridesabike/coronate · ★ 178 · ReScript · Prototype](https://repo.masters-masters.com/repos/johnridesabike/coronate)

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