Compilers. OS kerns. Formal verif. Prog analyses. LLM apps. Infra. All the shit I do. Knows quite a bit about C.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
