PrototypeCommon
banacorn/agda-mode-vscode
agda-mode on VS Code
- Owner
- banacorn (personal account)
- Stars
- Stars: 189
- Forks
- Forks: 42
- Language
- ReScript
- License
- MIT
- Created
- 2020
- Topics
- agdaagda-modevscodevscode-extensionreasonml
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in ReScript
All ReScript repos- RationalJS/futureStars: 216ReScriptPrototype
- reasonml-community/bs-expressStars: 209ReScriptPrototype
- tempesta-tech/blogStars: 194ReScriptPrototype
- Meta3D-Technology/Meta3DStars: 185ReScriptPrototype
- Shinei-Nouzen-Arch/FPGA-AgentStars: 181ReScriptPrototype
- johnridesabike/coronateStars: 178ReScriptPrototype