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

Common Lisp29

6 months ago

An axiom-free formalization of category theory in Coq for personal study and pra

Coq716bsd-3-clause

6 months ago

cartesiancartesian-closed-categorycategories

A library for formalizing Haskell types and functions in Coq

Coq161bsd-3-clause

7 months ago

Simple library for asynchronous processing in Emacs

Emacs Lisp817gpl-3.0

2 months ago

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

Emacs Lisp91

2 years ago

A use-package declaration for simplifying your .emacs

Emacs Lisp4369gpl-3.0

3 months ago

autoloaddeferred-loadingemacs