Computing
I'm involved in these software/hardware projects: see my GitHub for many more.lean-rewrite-search
A general algorithm which proves arbitrary equational lemmas by repeated rewriting,
implemented in
K-OS
A UNIX-like operating system I wrote from scratch in C and assembly.
komputer
I'm building a modular microcomputer out of 74XXX series logic ICs.