Repository Index

69,734 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–2 of 2 · Most stars

clojure-emacs / cider

Emacs Lisp 3.7K 650

The Clojure Interactive Development Environment that Rocks for Emacs

Emacs Lisp 360 32

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