PrototypeCommune
agda/cornelis
agda-mode for neovim
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 195
- Forks
- Forks : 30
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2022
- Sujets
- nvim-hsneovimagdavim-textobj-uservim-which-key
- 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/agda-language-serverÉtoiles : 130HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- CyberCat-Institute/open-game-engineÉtoiles : 196HaskellPrototype
- Peaker/git-mediateÉtoiles : 195HaskellPrototype
- dktr0/estuaryÉtoiles : 195HaskellPrototype
- mikeizbicki/HerbiePluginÉtoiles : 194HaskellPrototype
- ucsd-progsys/elsaÉtoiles : 194HaskellPrototype