Repository Index

56,638 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–3 of 3 · Most stars

clojure-emacs / cider

Emacs Lisp 3.7K 650

The Clojure Interactive Development Environment that Rocks for Emacs

Emacs Lisp 907 94

A C/C++ minor mode for Emacs powered by libclang

Emacs Lisp 360 32

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