A Coq IDE build on top of Proof General's Coq mode
Company completion backend for lsp-mode
Completion for Swift projects via SourceKit with the help of SourceKitten
Fuzzy matching for `company-mode'
A port of ac-source-dictionary to company-mode, plus annotation and docu...