Name: Ashton Wiersdorf
Type: User
Company: PLT @ University of Utah
Bio: Husband, father, and Emacs addict. PhD student at the University of Utah. Contrabass and chocolate lover.
Location: Utah, USA
Blog: https://lambdaland.org
Ashton Wiersdorf's Projects
Family Map Server for BYU CS 240
Work for software verification seminar, Spring 2023
Short presentation on monads given on 18 Jan 2022 for my CS 630 class at BYU
Deft for Emacs: this is a fork of Jason Blevin's beautiful and simple Notational Velocity-like note and organization system for Emacs. See http://jblevins.org/projects/deft/
Yet Another Dotfiles Repo
Easy LANGuage: end-to-end implementation of a compiled lambda calculus.
A very minimal but elegant emacs (I think)
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
Website for Elixir
Elixir has a powerful macro system derived from Lisp. This is a presentation designed to introduce what macros are and how to use them.
Demonstration of how to write an interpreter for a small language in Elixir. Built for an internal event at Spiff Inc. in 2021
An elisp package manager
[Mirror] Stepping stones to a better Emacs experience
Get Things Done with Emacs
Source code for https://emacsthemes.com
Emacs Mini-Buffer Actions Rooted in Keymaps
A set of keybindings for evil-mode
Supplemental evil-mode keybindings to emacs org-mode
Coverage report tool for Elixir with coveralls.io integration.
Family Map Client for BYU CS 240
It's all in the name.
Minor enhancements to the excellent Selectrum package
I want to learn how databases work. Therefore, I shall make one myself.
Hugo documentation theme as simple as plain book
Reporting tool for indexing on Family Search
Apple Keynote presentation theme with color pallet from https://nordtheme.com
Website for University of Utah Kahlert School of Computing Graduate Student Advisory Committee
A custom-made 11 key macropad + 2 rotary encoders with minimal components.
Lambda Calculus compiler targeting x86, written in Racket
A simple terminal game of Light Cycle.