ashton314

amethyst

An elegant Emacs setup optimized for non-technical writers

muKanren_reading

[Mirror] A close reading of the μKanren paper.

elixir_interpreter_demo

Demonstration of how to write an interpreter for a small language in Elixir. Built for an internal event at Spiff Inc. in 2021

elang

Easy LANGuage: end-to-end implementation of a compiled lambda calculus.

adapton

[Mirror] Implementation and exploration of micro- and miniAdapton

crusty

Little project where I use a heap I built in Rust from within a C program

keynote-nord

Apple Keynote presentation theme with color pallet from https://nordtheme.com

microKanren

My implementation of μKanren

rostrum2

Web-centric worship service program builder

630-typewriter

A silly little game I'll call "typewriter" here. This project is for me to explore Typed Racket.

abstract-abstract-machine

My attempt at an abstract-abstract machine

anatole

Anatole is a minimalist two-column hugo theme based on farbox-theme-Anatole.

baby-health-tracker

Tracking system for baby diapers

byu-cs-lab-machine

Docker image based off of Ubuntu to simulate the BYU lab machines

byu-cs460-f2021

cape

🦸cape.el - Completion At Point Extensions

company-mode

Modular in-buffer completion framework for Emacs

compiler2

A little lambda calculus

corfu-doc

Documentation popup for Corfu

cougarnet

credo

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

cs630-lighting-monad

Short presentation on monads given on 18 Jan 2022 for my CS 630 class at BYU

emacs-gtd

Get Things Done with Emacs

evil-collection

A set of keybindings for evil-mode

evil-org-mode

Supplemental evil-mode keybindings to emacs org-mode

indexing-reporter

Reporting tool for indexing on Family Search

mini_commission_engine

Educational interpreter from a JS AST

org-dnd-srd

System Reference Documents for DnD written in org files to be searchable and interactive when in emacs

refined.blog

type_checking

Learning how to write a type checker