PrototypeCommune
agda/agda-language-server
Language Server for Agda
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 130
- Forks
- Forks : 22
- Langage
- Haskell
- Licence
- MIT
- Création
- 2017
- Sujets
- agdaagda-modelanguage-server-protocol
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de agda
Les 7 dépôts de agda- agda/agdaÉtoiles : 2 964HaskellRC
- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- agda/agda2hsÉtoiles : 210AgdaPrototype
- agda/cornelisÉtoiles : 195HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- knupfer/type-of-htmlÉtoiles : 130HaskellPrototype
- smudgelang/smudgeÉtoiles : 130HaskellPrototype
- iokasimov/yaÉtoiles : 130HaskellPrototype
- machine-intelligence/BotworldÉtoiles : 130HaskellPrototype
- ndmitchell/bakeÉtoiles : 130HaskellPrototype