We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
A use-package declaration for simplifying your .emacs
Emacs Lisp 4.5k 260
Simple library for asynchronous processing in Emacs
Emacs Lisp 855 69
An introduction to the architecture and design of the Git content manager
854 108
An axiom-free formalization of category theory in Coq for personal study and practical work
Coq 771 74
My .emacs.el file and other personal Emacs goodies
Emacs Lisp 713 94
My local Nix configuration
Emacs Lisp 449 55