Ashton Wiersdorf's repositories
emacs-bedrock
[Mirror] Stepping stones to a better Emacs experience
nordic-night
A darker, higher-contrast spin on the lovely Nord theme for Emacs
auto-olivetti
[Mirror] Automatically enable olivetti-mode when the window is wide
super_pipe
Utility to run scripts based on file system events, as well as to sync text files
ashton314.github.io
Mah Blag
rhombus_dyn
Dynamic annotation for Rhombus
7GUI
the 7 gui project
browserengineering-book
Web browser engineering (a book)
company-coq
A Coq IDE build on top of Proof General's Coq mode
cs6110-verification
Work for software verification seminar, Spring 2023
dibshmack-dotfiles
Yet Another Dotfiles Repo
emacs-themes-site
Source code for https://emacsthemes.com
embark
Emacs Mini-Buffer Actions Rooted in Keymaps
ksoc-gradsac.github.io
Website for University of Utah Kahlert School of Computing Graduate Student Advisory Committee
mdbook-quiz
Interactive quizzes for Markdown
melpa
Recipes and build machinery for the biggest Emacs package repo
program_builder
Program/agenda creator for Sacrament meetings in the Church of Jesus Christ of Latter-day Saints
rhombus-prototype
Brainstorming and draft proposals for Rhombus