A Coq IDE build on top of Proof General's Coq mode
-
Updated
Feb 3, 2023 - Emacs Lisp
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
An unofficial TabNine package for Emacs with TabNine Chat Supported
A port of ac-source-dictionary to company-mode, plus annotation and documentation support.
Fuzzy auto-completion for Beancount & other Ledger-likes
company-mode completion back-end for MLton/Standard ML
company-erlang is company backend for erlang based on ivy-erlang-complete.
A company-mode script for auto-parenthesis
Add dockerfile keywords to company-mode keywords alist.
start at a company auto-completion backend for tidal and emacs
GLSL company-mode package
Emacs company-mode backend for windows dos/batch scripts.
really simplistic attempt at a supercollider completion backend for company-mode in emacs
Simple GNU Emacs company-mode completion backend for previous whole buffer lines
Add gemoji keywords to company-mode keywords alist.
Add a description, image, and links to the company-mode topic page so that developers can more easily learn about it.
To associate your repository with the company-mode topic, visit your repo's landing page and select "manage topics."