Updated 2021-04-17 02:45:07 -07:00
Updated 2020-12-24 16:22:37 -08:00
Updated 2020-12-07 15:51:55 -08:00
Updated 2020-12-07 15:50:43 -08:00
Updated 2020-12-07 15:49:59 -08:00
A cache simulator in Elm
Updated 2019-06-01 14:38:54 -07:00
A CPU written in SystemVerilog for ECE 271.
Updated 2019-02-14 14:52:07 -08:00
Updated 2019-12-23 17:45:55 -08:00
My resume, written with HTML+SCSS
Updated 2025-04-07 22:45:35 -07:00
Golden ratio based color generation.
Updated 2021-11-13 14:50:41 -08:00
An Agda formalization of some of what we talked about during the Formal interview.
Updated 2024-09-24 18:46:42 -07:00
My dotfiles.
Updated 2024-02-10 14:33:52 -08:00
Custom Nix expressions for private packages.
Updated 2021-01-10 20:23:26 -08:00
Code for the compiler described in my blog
Updated 2023-01-01 14:52:07 -08:00
Attempts at formalizing static program analysis techniques in Agda.
Updated 2025-04-20 19:13:45 -07:00
A custom start page.
Updated 2019-06-22 19:29:37 -07:00
A desktop calculator built for precision.
Updated 2018-05-18 15:25:16 -07:00
Stop! The! Homework!
Updated 2019-11-09 20:40:16 -08:00
A fairly thin wrapper around the Telegram API, written for Crystal.
Updated 2021-01-04 22:55:05 -08:00
A Telegram bot to send Joann Jarvis pictures from reddit every hour.
Updated 2021-01-04 23:21:07 -08:00