A Growl-like alerts notifier for Emacs

Emacs Lisp443other

5 months ago

Common Lisp library for manipulating date/time objects at a higher level

Common Lisp30

last year

A library for formalizing Haskell types and functions in Coq

Coq166bsd-3-clause

last year

A command for Emacs to regress or "undo" a region back through its Git history

Emacs Lisp92

2 years ago

A use-package declaration for simplifying your .emacs

Emacs Lisp4411gpl-3.0

10 months ago

autoloaddeferred-loadingemacs