Coqtail VS deoplete.nvim

I've looked at both of these before, but neither of them fit the bill. Both are used for interactive execution of Coq programs from inside Neovim (I already use https://github.com/whonore/Coqtail for that purpose), but neither provides code completion. Nonetheless, thank you so much for your help. Much appreciated.

If you're finding coqide hard to use, I used to use coquille back in the day so that I didn't have to lose my neovim workflow (though it seems like coqtail is the currently maintained fork). I remember djao himself used to use proof general with emacs, which looks like another nice option if you're an emacs user.

I think in-the-wild examples like Ultisnips deoplete semshi (although they are advanced and somewhat complex) would also be good examples to learn how one can use python for writing plugins.

If you post your issue on https://github.com/Shougo/deoplete.nvim/issues, Shougo might be able to better assist you.

I have a problem with Deoplete and Vim-LSP completion (Python's Pylsp and Jedi-Language-Server). The suggestion is much less, and it also misses a lot of opportunities to suggest compared to Deoplete-Jedi, which literally defeats the former by a large margin. Is there a setting to make this duo works like deoplete with deoplete-jedi?

Someone made an issue on this question, with the author suggesting float-previewnvim.

This exactly why I keep using deoplete! Other completion plugins don't handle middle of word completion correctly.

As we can see, it's a deoplete issue. By reading the docs at https://github.com/Shougo/deoplete.nvim, under the requirements section, it needs nvim to be compiled with python support.

Hmm. Maybe I don't know what to look for (not an expert at vim), but I have searched the deoplete documentation and I can't see any options to allow as-you-type omnicompletion. There are things like external sources, but I don't need that. Everything is available from , I just need that to be automatic.

For me I've been using deoplete.nvim for everyday use and for a long time and will probably transition to [ddc.vim](https://github.com/Shougo/ddc.vim] which is the next iteration after deoplete from the same author and is very similar to cmp in terms of setup with user customization.

To my knowledge thats not possible with omnicompletion. For this you would have to use an auto-completion plugin. I am using compe because its fast, minimal and integrates well with the builtin nvim-lsp but there are many others. The most popular is probably coc. You could also check out deoplete.