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