ocaml-lsp
kok.nvim
ocaml-lsp | kok.nvim | |
---|---|---|
9 | 60 | |
715 | 3,368 | |
0.7% | - | |
7.7 | 9.3 | |
8 days ago | 7 days ago | |
OCaml | Python | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ocaml-lsp
-
I Wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
> There is no alternative to Django, for instance.
https://aantron.github.io/dream/, which is new and used by ocaml.org
> No serious IDE, except emacs
and vim, and visual studio, and whatever else supports the LSP protocol via https://github.com/ocaml/ocaml-lsp
> The standard library was so lacking that there is at least an alternative.
While janestreet does have an publish their own stdlib, I personally try to stick to the stdlib whenever possible. Not to knock janestreet. I'm glad they're around and have contributed a bunch.
But overall I agree with you. It's been my favorite language two write in for years now. You can't just reach for off-the-shelf libraries for every little thing. Although the ones that do exist tend to be written halfway decently.
-
Merlin: Context sensitive completion for OCaml in Vim and Emacs
Merlin is great, but it's vim plugin leaves a bit to be desired (in particular, it doesn't seem to use any of the modern async apis from vim 8+/neovim). Personally ocaml-lsp (which is still backed by Merlin on the backend) together with neovim's built-in lsp support has been far smoother for me
-
The New OCaml Website
Perhaps the README[1] is out of date, but it appears to note that textDocument/implementation is not done? That's a pretty big hole.
[1]: https://github.com/ocaml/ocaml-lsp/#features
- Neovim 0.7 Released
-
Toplevel in VSCode?
Short answer: yesWith https://marketplace.visualstudio.com/items?itemName=ocamllabs.ocaml-platformand https://github.com/ocaml/ocaml-lspand https://dune.readthedocs.io/en/stable/and utop
-
This week in KDE: Fixing a bunch of annoying bugs
This is the one I tried and seems well supported - https://github.com/ocaml/ocaml-lsp . I've only started very lightly playing around with ocaml. It seems to be working fine on vscode and seems to do as expected on nvim too, at least as far as I configured nvim for it.
-
opam install problem on Ubuntu 21.04
Typically I would recommend using https://github.com/ocaml/ocaml-lsp which is now the main OCaml language server, and VSCode with the OCaml Platform extension, a combo I know works well.
-
In the Interest of Building an SML Language Server
You might also look into ocaml-lsp for inspiration. Not everything will carry over to SML but it might help somtimes.
kok.nvim
-
How to get this overlay effect in neovim?
In the examples listed on this page https://github.com/ms-jpq/coq_nvim, there is a pattern overlay over the whole screen. Is there a neovim plugin that does this? Thanks.
-
Can anyone explain how to use treesitter with neovim in simple language?
nvim-cmp or coq_nvim is for autocompletion. Treesitter is for parsing language syntax. (I guess the most typical use case for this would be syntax highlighting.) Note that (neo)vim also has built in manual completion that you can use by setting up your omnifunc and triggering it with in insert mode .
-
What's the one plugin you'd love to see?
Aw man that's not nice to hear. I have had my own struggle with lsp not gonna lie. I used to use coc until it got too slow, after struggling for like 2 days lol lsp is working fast and neat. I'd suggest you to take a look at coq https://github.com/ms-jpq/coq_nvim which claims to be fast as fuck (literally lol) and also claims to be faster than lsp (because its written using c or something). Haven't tried it personally
-
New to Rust. How to setup Nvim as IDE?
Coq_nvim
-
Coq + LSP crashing
I'm attempting to use (coq_nvim)[https://github.com/ms-jpq/coq_nvim]. This is my config:
-
Neovim crashes when LuaSnip is used
Does your coq_nvim and nvim-lspconfig really load? Because they have opts = true
-
Is it a bad config or cmp isn't as smart as VSCode autocompletion?
I'd be happy for someone who knows more about this to correct me. But in my experience as well, nvim-cmp is not as good completion as vscode, its suggestions can be all over the place sometimes. I found that coq_nvim tends to better in this regard. I still prefer nvim-cmp for other reasons but you should definitely try coq_nvim out and see if you have a better experience.
-
nvimYAY! but: how to get coq (or any) completion to work (pyright)?
Coq_nvim isn't the same as Coc.nvim. Coq is a completion plugin with lots of caching written in Python that works alongside the builtin LSP. Coc is an LSP client (and has it's own plugin ecosystem) written in Node.
-
Why aren't there more plugins written in python?
There are some like https://github.com/SirVer/ultisnips and https://github.com/ms-jpq/coq_nvim. Speed is not really an issue, I guess people just prefer to have fewer dependencies and use lua which is already bundled in neovim.
-
nvim + lspconfig + nvim-cmp general slowness in large codebases
Maybe using coq.nvim instead of nvim-cmp could help (?) dince it caches the LSP responses. I haven't test it, though
What are some alternatives?
neovimcraft - website that makes it easy to find neovim plugins
coc.nvim - Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
merlin - Context sensitive completion for OCaml in Vim and Emacs
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
nvim-completion - :zap: An async autocompletion framework for Neovim
nvim-cmp - A completion plugin for neovim coded in Lua.
which-key.nvim - 💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 that displays a popup with possible keybindings of the command you started typing.
deoplete.nvim - :stars: Dark powered asynchronous completion framework for neovim/Vim8
neovim - Vim-fork focused on extensibility and usability
vim-repeat - repeat.vim: enable repeating supported plugin maps with "."
doom-emacs - An Emacs framework for the stubborn martian hacker [Moved to: https://github.com/doomemacs/doomemacs]
nvim-bqf - Better quickfix window in Neovim, polish old quickfix window.