cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
Company Mode GitHub Repositories
Explore popular GitHub repositories tagged “company-mode”.
Compare stars, forks, and programming language using the same GitStar view as GitHub Trending.
Ranked by:Stars
Trending Repositories
tigersoldier/company-lsp
Company completion backend for lsp-mode
nathankot/company-sourcekit
Completion for Swift projects via SourceKit with the help of SourceKitten
Alexander-Miller/company-shell
No repository description provided.
hlissner/emacs-company-dict
A port of ac-source-dictionary to company-mode, plus annotation and documentation support.
horellana/company-ghci
A company backend for haskell
debanjum/company-ledger
Fuzzy auto-completion for Beancount & other Ledger-likes
MatthewFluet/company-mlton
company-mode completion back-end for MLton/Standard ML
s-kostyaev/company-erlang
company-erlang is company backend for erlang based on ivy-erlang-complete.
chansey97/company-yasnippet-autoparens
A company-mode script for auto-parenthesis