PrototypeCommune
idris-community/idris2-lsp
Language Server for Idris2
- Propriétaire
- idris-community (organisation)
- Étoiles
- Étoiles : 205
- Forks
- Forks : 45
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Idris
Tous les dépôts Idris- ziman/lightyearÉtoiles : 243IdrisPrototype
- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
- puffnfresh/iridiumÉtoiles : 209IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- channable/dbcriticÉtoiles : 180IdrisPrototype