Search Results - RepositoryStats

29

353

gpl-3.0

10

A Coq IDE build on top of Proof General's Coq mode

coq emacs company-mode proof-general proof-assistant integrated-development-environment

Created 2015-02-15

905 commits to master branch, last one about a year ago

16

207

unknown

11

Completion for Swift projects via SourceKit with the help of SourceKitten

emacs swift sourcekit autocomplete company-mode sourcekitten

Created 2015-10-01

103 commits to master branch, last one 3 years ago

6

97

gpl-3.0

7

This repository has no description...

emacs fish-shell company-mode shell-script autocompletion

Created 2015-12-02

52 commits to master branch, last one about a year ago