Popular repositories Loading

1. ai-org-chat.el ai-org-chat.el Public

   Emacs Lisp 12

2. tex-parens.el tex-parens.el Public

   list and sexp navigation for tex modes

   Emacs Lisp 5 1

3. czm-preview.el czm-preview.el Public

   Emacs Lisp 4

4. czm-lean4.el czm-lean4.el Public

   Some embellishments for lean4-mode

   Emacs Lisp 3

5. lean4-mode lean4-mode Public

   Forked from bustercopley/lean4-mode

   Emacs major mode for Lean 4

   Emacs Lisp 3

6. auto-hide.el auto-hide.el Public

   Automatically hide function bodies

   Emacs Lisp 3 2