Similar repositories to Julian/lean.nvim:

• Julian/lean.nvim github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• gibiansky/IHaskell github similar
• Eugeny/terminus github similar
• Julian/tree-sitter-lean github similar
• Eloston/ungoogled-chromium github similar
• leanprover-community/mathlib4 github similar
• mjlbach/neorants github similar
• mhuisi/lean4-cli github similar
• nvim-telescope/telescope-fzf-writer.nvim github similar
• leanprover/std4 github similar
• akinsho/org-bullets.nvim github similar
• leanprover/vscode-lean github similar
• jbyuki/monolithic.nvim github similar
• leanprover-community/lftcm2020 github similar
• jakewvincent/texmagic.nvim github similar
• AckslD/nvim-revJ.lua github similar
• lecopivo/SciLean github similar
• lukas-reineke/cmp-under-comparator github similar
• gebner/quote4 github similar
• glepnir/prodoc.nvim github similar
• leanprover/elan github similar
• nvim-lua/lsp_extensions.nvim github similar
• rktjmp/fwatch.nvim github similar
• weilbith/nvim-lsp-smag github similar
• nvim-telescope/telescope-smart-history.nvim github similar
• leanprover/lean.vim github similar
• k6io/k6 github similar
• ReactTraining/react-router github similar
• zdharma/fast-syntax-highlighting github similar
• joehendrix/lean-crypto github similar
• nvim-pack/lsp-fastaction.nvim github similar
• theHamsta/nvim-treesitter-pairs github similar
• tree-sitter/tree-sitter-haskell github similar
• oberblastmeister/lua-analyzer github similar
• zdharma/zinit github similar