Popular repositories Loading

1. org-roam org-roam Public

   my fix org-roam

   Emacs Lisp 1

2. emacs24-starter-kit emacs24-starter-kit Public

   Forked from eschulte/emacs24-starter-kit

   A cleaner version of the literate starter kit based on Emacs24

   Emacs Lisp

3. rice-wine rice-wine Public

   emacs configuration

   Emacs Lisp

4. PG PG Public

   Forked from ProofGeneral/PG

   This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)

   Emacs Lisp

5. company-coq company-coq Public

   Forked from cpitclaudel/company-coq

   IDE extensions for Proof General's Coq mode

   Emacs Lisp

6. use-package use-package Public

   Forked from jwiegley/use-package

   A use-package declaration for simplifying your .emacs

   Emacs Lisp