ashton314
PhD student at the University of Utah. Metaprogramming sorcerer. Emacs addict. Contrabass and chocolate lover.
PLT @ University of UtahUtah, USA
Pinned Repositories
amethyst
An elegant Emacs setup optimized for non-technical writers
auto-olivetti
[Mirror] Automatically enable olivetti-mode when the window is wide
brainfreeze
emacs-bedrock
[Mirror] Stepping stones to a better Emacs experience
lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
marked-man
Read Markdown files like UNIX man pages
muKanren_reading
[Mirror] A close reading of the μKanren paper.
nordic-night
A darker, higher-contrast spin on the lovely Nord theme for Emacs
chorex
Choreographic programming in Elixir
TrackedFloats.jl
Julia library providing tracking of floating point errors through a program resources
ashton314's Repositories
ashton314/emacs-bedrock
[Mirror] Stepping stones to a better Emacs experience
ashton314/brainfreeze
ashton314/rhombus_dyn
Dynamic annotation for Rhombus
ashton314/ashton314.github.io
Mah Blag
ashton314/awesome-emacs
A community driven list of useful Emacs packages, libraries and other items.
ashton314/cleancv
A clean, modern template for building résumés with LaTeX.
ashton314/newbie.el
Simple Emacs config meant for new users at the terminal; doesn't sugar-coat *too* much.
ashton314/ysue
[Mirror] A simple text editor.
ashton314/7GUI
the 7 gui project
ashton314/ashton314
ashton314/browserengineering-book
Web browser engineering (a book)
ashton314/chorex_simulator
Simple simulator for Chorex-like choreographies
ashton314/citar
Emacs package to quickly find and act on bibliographic references, and edit org, markdown, and latex academic documents.
ashton314/denote
Simple notes for Emacs with an efficient file-naming scheme
ashton314/denote-explore
Helper functions to analyse and visualise a collection of notes created with the Denote package.
ashton314/denote-sequence
Sequence notes or Folgezettel with Denote
ashton314/dibshmack-dotfiles
Yet Another Dotfiles Repo
ashton314/direct-file
Direct File
ashton314/embark
Emacs Mini-Buffer Actions Rooted in Keymaps
ashton314/hugo-book
Hugo documentation theme as simple as plain book
ashton314/leaflet
A portable z-machine
ashton314/llvm-project
Fork for class
ashton314/mdbook-quiz
Interactive quizzes for Markdown
ashton314/melpa
Recipes and build machinery for the biggest Emacs package repo
ashton314/open-source-project-course
ashton314/rhombus-prototype
Brainstorming and draft proposals for Rhombus
ashton314/rostrum
Elegant online programs for your worship service
ashton314/shplait
Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
ashton314/smallweb
Kagi Small Web
ashton314/typst
A new markup-based typesetting system that is powerful and easy to learn.