PrototypeCommon
agda/agda-language-server
Language Server for Agda
- Owner
- agda (organization)
- Stars
- Stars: 130
- Forks
- Forks: 22
- Language
- Haskell
- License
- MIT
- Created
- 2017
- Topics
- agdaagda-modelanguage-server-protocol
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by agda
All 7 repos by agda- agda/agdaStars: 2,964HaskellRC
- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- agda/agda2hsStars: 210AgdaPrototype
- agda/cornelisStars: 195HaskellPrototype
Nearby in Haskell
All Haskell repos- knupfer/type-of-htmlStars: 130HaskellPrototype
- smudgelang/smudgeStars: 130HaskellPrototype
- iokasimov/yaStars: 130HaskellPrototype
- machine-intelligence/BotworldStars: 130HaskellPrototype
- ndmitchell/bakeStars: 130HaskellPrototype