Coqtail Alternatives

Similar projects and alternatives to Coqtail based on common topics and language

deoplete.nvim

17 5,928 4.9 Python Coqtail VS deoplete.nvim

:stars: Dark powered asynchronous completion framework for neovim/Vim8
coquille

2 185 0.0 Vim Script Coqtail VS coquille

Interactive theorem proving with Coq in vim.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
qutebrowser

465 9,344 9.7 Python Coqtail VS qutebrowser

A keyboard-driven, vim-like browser based on Python and Qt.
coq-serapi

1 123 8.1 OCaml Coqtail VS coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq-lsp

1 129 9.0 OCaml Coqtail VS coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
YouCompleteMe

70 25,262 7.7 Python Coqtail VS YouCompleteMe

A code-completion engine for Vim
ranger

165 14,889 6.5 Python Coqtail VS ranger

A VIM-inspired filemanager for the console
InfluxDB

www.influxdata.com sponsored

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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Coqtail alternative or higher similarity.

Suggest an alternative to Coqtail

Coqtail reviews and mentions

Posts with mentions or reviews of Coqtail. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-09-05.

Code completion for Coq.
3 projects | /r/neovim | 5 Sep 2022

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.
Is MATH145 worth it?
2 projects | /r/uwaterloo | 15 Sep 2021

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.