PrototypeCommon
agda/cornelis
agda-mode for neovim
- Owner
- agda (organization)
- Stars
- Stars: 195
- Forks
- Forks: 30
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2022
- Topics
- nvim-hsneovimagdavim-textobj-uservim-which-key
- 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/agda-language-serverStars: 130HaskellPrototype
Nearby in Haskell
All Haskell repos- CyberCat-Institute/open-game-engineStars: 196HaskellPrototype
- Peaker/git-mediateStars: 195HaskellPrototype
- dktr0/estuaryStars: 195HaskellPrototype
- mikeizbicki/HerbiePluginStars: 194HaskellPrototype
- ucsd-progsys/elsaStars: 194HaskellPrototype