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

Simple library for asynchronous processing in Emacs

Emacs Lisp837gpl-3.0

2 months ago

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

Emacs Lisp92

2 years ago