informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
