ashton314

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

newbie.el

Simple Emacs config meant for new users at the terminal; doesn't sugar-coat *too* much.

newton

Math question organizer and test builder

ysue

[Mirror] A simple text editor.

rhombus_dyn

Dynamic annotation for Rhombus

7GUI

the 7 gui project

ashton314

browserengineering-book

Web browser engineering (a book)

citar

Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.

company-coq

A Coq IDE build on top of Proof General's Coq mode

consult

consult.el - Consulting completing-read

cs6110-verification

Work for software verification seminar, Spring 2023

dibshmack-dotfiles

Yet Another Dotfiles Repo

elpaca

An elisp package manager

emacs-themes-site

Source code for https://emacsthemes.com

embark

Emacs Mini-Buffer Actions Rooted in Keymaps

hugo-book

Hugo documentation theme as simple as plain book

ksoc-gradsac.github.io

Website for University of Utah Kahlert School of Computing Graduate Student Advisory Committee

Ladispad

A custom-made 11 key macropad + 2 rotary encoders with minimal components.

mdbook-quiz

Interactive quizzes for Markdown

melpa

Recipes and build machinery for the biggest Emacs package repo

olivetti

Emacs minor mode to automatically balance window margins

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

shplait

Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation

smallweb

Kagi Small Web