Compilers, VMs, emulators and languages
MCP servers, IDEs, browsers and dev tools
Lean 4, Agda and cross-language proofs
CUDA kernels, RTL accelerators and embedded OS