Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for emacs lisp coq
coq
x
emacs-lisp
x
7 search results found
Pg
⭐
461
This repo is the new home of Proof General
Company Coq
⭐
327
A Coq IDE build on top of Proof General's Coq mode
Spacemacs Coq
⭐
40
A very simple coq layer for spacemacs
Dot Emacs
⭐
9
Past the point of no return.
Coq Commenter
⭐
6
Coq commenter for Emacs
Spacemacs Coq
⭐
6
A simple spacemacs layer for Coq including Company-Coq and Proof General
Elcoq
⭐
5
Experiments with SerAPI in Emacs
Related Searches
Emacs Lisp Melpa (866)
Emacs Lisp Elisp (688)
Dotfiles Emacs Lisp (469)
Emacs Lisp Org Mode (447)
Theme Emacs Lisp (367)
Emacs Lisp Spacemacs (355)
Emacs Lisp Helm (298)
Emacs Lisp Evil (236)
Git Emacs Lisp (220)
Emacs Lisp Completion (218)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.