Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
acl2
ACL2 System and Books as Maintained by the Community
dotfiles
My personal dotfiles
emacs.d
An Emacs configuration bundle with batteries included
mouse-copy
LispM/MCL style one-click mouse copy for GNU Emacs
paren-face
A face dedicated to lisp parentheses
harshrc's Repositories
harshrc/acl2
ACL2 System and Books as Maintained by the Community
harshrc/dotfiles
My personal dotfiles
harshrc/emacs.d
An Emacs configuration bundle with batteries included
harshrc/mouse-copy
LispM/MCL style one-click mouse copy for GNU Emacs
harshrc/paren-face
A face dedicated to lisp parentheses