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
Site for people to upload submissions for our virtual Christmas devotional
A silly little game I'll call "typewriter" here. This project is for me to explore Typed Racket.
the 7 gui project
My attempt at an abstract-abstract machine
[Mirror] Implementation and exploration of micro- and miniAdapton
alpine linux + perl + mojolicious = happy
An elegant Emacs setup optimized for non-technical writers
Anatole is a minimalist two-column hugo theme based on farbox-theme-Anatole.
Mah Blag
[Mirror] Automatically enable olivetti-mode when the window is wide
Tracking system for baby diapers
Docker image based off of Ubuntu to simulate the BYU lab machines
Cali's Almost a Lisp Interpreter
🦸cape.el - Completion At Point Extensions
An experimental lambda calculus compiling to the LLVM
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
A Coq IDE build on top of Proof General's Coq mode
Modular in-buffer completion framework for Emacs
A little lambda calculus
consult.el - Consulting completing-read
Documentation popup for Corfu
Ivy UI for Projectile
Formalization and verification of continuation-passing style conversion
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
Little project where I use a heap I built in Rust from within a C program
My part of a group paper on ethics and privacy that I'm writing for CS 404 (missed opportunity with that course code, I know)
Family Map Server for BYU CS 240