PrototypeCommune
banacorn/agda-mode-vscode
agda-mode on VS Code
- Propriétaire
- banacorn (compte personnel)
- Étoiles
- Étoiles : 189
- Forks
- Forks : 42
- Langage
- ReScript
- Licence
- MIT
- Création
- 2020
- Sujets
- agdaagda-modevscodevscode-extensionreasonml
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts ReScript
Tous les dépôts ReScript- RationalJS/futureÉtoiles : 216ReScriptPrototype
- reasonml-community/bs-expressÉtoiles : 209ReScriptPrototype
- tempesta-tech/blogÉtoiles : 194ReScriptPrototype
- Meta3D-Technology/Meta3DÉtoiles : 185ReScriptPrototype
- Shinei-Nouzen-Arch/FPGA-AgentÉtoiles : 181ReScriptPrototype
- johnridesabike/coronateÉtoiles : 178ReScriptPrototype