I build Edda, an experimental open-source programming language with built-in formal verification. The compiler, standard library and website are written in Edda itself — source at edda-lang.
Other projects:
- nanorun — async runtime in Rust: work-stealing executor, hierarchical timer wheel, epoll/IOCP reactors
- nanopt — spectral path tracer in C++20: light transport per wavelength across 380–750 nm
- nanoad — reverse-mode autograd and a small neural-net framework in pure NumPy, up to a tiny GPT
- hello-ring-0 — x86-64 kernel in assembly, from a 512-byte boot sector to ring-3 cooperative multiprocessing