Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
