# banacorn/agda-mode-vscode

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

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

banacorn/agda-mode-vscode has 189 stars on GitHub. Its RepoMasters card: Prototype tier. agda-mode on VS Code Language: ReScript.

| Field | Value |
| --- | --- |
| Owner | [banacorn](https://repo.masters-masters.com/en/owners/banacorn) |
| Stars | 189 |
| Forks | 42 |
| Language | [ReScript](https://repo.masters-masters.com/en/languages/rescript) |
| License | MIT |
| Created | 2020 |
| Topics | agda, agda-mode, vscode, vscode-extension, reasonml |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [banacorn/agda-mode-vscode](https://github.com/banacorn/agda-mode-vscode) |

## Repository

agda-mode on VS Code

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

## Nearby in ReScript

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

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