Similar repositories to Isti115/agda.nvim:

• Isti115/agda.nvim github similar
• folke/lazy.nvim github similar
• danistefanovic/build-your-own-x github similar
• joechrisellis/lsp-format-modifications.nvim github similar
• nvim-zh/colorful-winsep.nvim github similar
• cshuaimin/ssr.nvim github similar
• tinted-theming/base16-schemes github similar
• purifix/purifix github similar
• typst/typst github similar
• nyoom-engineering/nyoom.nvim github similar
• phijor/agda-mode-ng github similar
• terrastruct/d2 github similar
• martineausimon/nvim-lilypond-suite github similar
• lmburns/lf.nvim github similar
• Th3Whit3Wolf/Dusk-til-Dawn.nvim github similar
• ashinkarov/nvim-agda github similar
• max397574/neorg-kanban github similar
• synaptiko/xit.nvim github similar
• chriskempson/base16-vim github similar
• mtikekar/nvim-send-to-term github similar
• cdepillabout/purescript2nix github similar
• isovector/cornelis github similar
• sentriz/cliphist github similar
• steelsojka/completion-buffers github similar
• crispgm/telescope-heading.nvim github similar
• jespercockx/agda-lecture-notes github similar
• ojroques/nvim-osc52 github similar
• neovim/lua-client github similar
• gpanders/nvim-parinfer github similar
• B4mbus/oxocarbon-lua.nvim github similar
• ray-x/guihua.lua github similar
• AlphaTechnolog/pywal.nvim github similar
• Olical/magic-kit github similar
• tsbohc/zest.nvim github similar
• romgrk/fzy-lua-native github similar
• banacorn/agda-mode-vscode github similar
• stevearc/stickybuf.nvim github similar
• chriskempson/base16 github similar
• tree-sitter/tree-sitter-haskell github similar
• phaazon/this-week-in-neovim.org github similar