Hi—my name is Mitchell Kember. I’m a Software Engineering student at the
University of Waterloo. Last summer I finished my 4A school term, and now I’m on co-op in California working for Facebook.
Here are a few projects I’ve worked on in the past:
- Eva, a Scheme interpreter written in C
- Analysis I, a formalization of an analysis textbook in Lean
- Lindenmayer, a fractal curve web app powered by Go
- Lam, a small λ-calculus language built in Haskell