~ashton314

Utah, USA

Husband, father, and Emacs fanatic. PhD student at the University of Utah studying programming languages.

Most of my work is currently on GitHub.

iosevka-output

A custom Iosevka build modeled after the lovely Input Mono font: wide (extended) characters, legible glyphs, and tightened line spacing

#font #iosevka

microKanren

Walkthrough and implementation of the μKanren paper

#pl #logic-pl #racket

More projects

Activity

9badf0b Shrink leading slightly

~ashton314 pushed to ~ashton314/iosevka-output git

2 days ago via iosevka-output

9badf0b Shrink leading slightly

~ashton314 pushed to ~ashton314/iosevka-output git

2 days ago via iosevka-output

cce98d2 Fixed the crossbar on the "f" to be at the x-height

~ashton314 pushed to ~ashton314/iosevka-output git

8 days ago via iosevka-output

cce98d2 Fixed the crossbar on the "f" to be at the x-height

~ashton314 pushed to ~ashton314/iosevka-output git

8 days ago via iosevka-output

e6db0b3 Update README

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

307d279 use term character spacing

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

307d279 use term character spacing

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

3f31a8b Update .gitignore

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

dfd3fb3 Add .gitignore

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

dfd3fb3 Add .gitignore

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

dfd3fb3 Add .gitignore

~ashton314 pushed to ~ashton314/iosevka-output git

9 days ago via iosevka-output

e373880 Add license

~ashton314 pushed to ~ashton314/iosevka-output git

11 days ago via iosevka-output

e0f20d5 Add README

~ashton314 pushed to ~ashton314/iosevka-output git

11 days ago via iosevka-output

31362eb Initial good build

~ashton314 pushed to ~ashton314/iosevka-output git

11 days ago via iosevka-output

~ashton314/iosevka-output

New git repository added

11 days ago via iosevka-output

1 / 2