PrototypeCommon
idris-community/idris2-lsp
Language Server for Idris2
- Owner
- idris-community (organization)
- Stars
- Stars: 205
- Forks
- Forks: 45
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Idris
All Idris repos- ziman/lightyearStars: 243IdrisPrototype
- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype