projects
- rad a live-streaming platform (Scala, Golang)
- monolog a distributed log using Serf (Go)
- ost a programming language (C++)
- qlud TypeScript codegen from GraphQL definitions (Haskell)
- grundlagen formalizing Landau's "Grundlagen der Analysis" (Rock)
- opengl-wasm OpenGL targeting Native & WebAssembly (C++)