Can anybody give me some review of coq_nvim :>

This page summarizes the projects mentioned and recommended in the original post on /r/neovim

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • dotfiles

  • vim-snippets

    vim-snipmate default snippets (Previously snipmate-snippets)

  • cmp works fine and I was able to trivially make it only suggest lsp completion for me by only including lsp sources. The setup is significantly more complicated with having the install 7ish plugins instead of just 3 for coq. I don't think I would've had the patient to go through the setup when I was just starting to use neovim. cmp also have much nicer UI (e.g. it shoulds documentation and sometimes function signiture as you browse through the suggestion.) With snippet you can find something like https://github.com/honza/vim-snippets which have more than what I need. You also need to choose a snippet engine so that's more decision to make.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Show HN: Neovim Configuration heavily inspired by Emacs and JetBrains

    1 project | news.ycombinator.com | 10 Oct 2023
  • Show HN: Vimacs – fast and Feature-rich and Beautiful Neovim configuration

    1 project | news.ycombinator.com | 7 Oct 2023
  • Vimacs – fast feature-rich Neovim configuration

    2 projects | news.ycombinator.com | 7 Oct 2023
  • How to I find default snippets

    3 projects | /r/neovim | 7 Mar 2023
  • Too much time tweaking config, is there such a thing?

    1 project | /r/neovim | 22 Jan 2023