I Use

Software

Hardware

I want (to make, to exist, or to have)

Hardware

Software

  • Obelisk - Converts branching C programs into branchless ones

I've Made

  • Sonder - An experimental static analyzer and transpiler from C to Safe Rust
  • Orinfar - A text editor for witches (wip)
  • Rhododendron - A compiler for a fairly large subset of C targeting ARM64
  • Troth - A fairly robust (albeit slow) lambda calculus intepreter