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

12 months ago

A library for formalizing Haskell types and functions in Coq

Coq166bsd-3-clause

last year

Simple library for asynchronous processing in Emacs

Emacs Lisp838gpl-3.0

last month

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

Emacs Lisp91

2 years ago