A Hugo incarnation of the blog.
Updated 2024-03-14 22:25:39 -07:00
Updated 2020-05-28 19:16:09 -07:00
An Elm re-implementation of bergamot.
Updated 2023-12-22 21:59:57 -08:00
A tiny little logic programming language
Updated 2023-10-15 17:54:42 -07:00
Archive master PDF. Here be dragons.
Updated 2020-05-29 19:21:41 -07:00
Fenceless Grazing Android App
Updated 2020-05-15 21:58:13 -07:00
Attempts at formalizing static program analysis techniques in Agda.
Updated 2024-03-24 12:11:10 -07:00
Common code that may come in useful for advent of code solutions.
Updated 2020-12-07 22:49:09 -08:00
A command-line front-end for libabacus written in C++
Updated 2018-10-19 15:30:58 -07:00
A CPU written in SystemVerilog for ECE 271.
Updated 2019-02-14 14:52:07 -08:00
A custom start page.
Updated 2019-06-22 19:29:37 -07:00
Updated 2020-12-24 16:22:37 -08:00
An Elm-based Matrix client.
Updated 2019-10-09 12:53:13 -07:00
Updated 2020-12-07 15:51:55 -08:00
A web-based monadic evaluator for MiniLogo.
Updated 2019-02-05 23:40:22 -08:00
Updated 2021-03-17 14:07:10 -07:00
Solutions from when I actually took the class.
Updated 2021-06-27 23:56:44 -07:00
Updated 2021-05-30 20:58:18 -07:00
Updated 2019-10-14 13:09:51 -07:00
Updated 2020-12-07 15:50:43 -08:00