Software

Here are a few software/computer projects with which I am involved; many more may be found on my  GitHub page.
Card image cap
lean-rewrite-search

A general algorithm which proves arbitrary equational lemmas by repeated rewriting, implemented in Lean.

Card image cap
K-OS

A UNIX-like operating system I wrote from scratch in C and assembly.

Card image cap
komputer

I'm building a modular microcomputer out of 74XXX series logic ICs.