Lean work
I am a vocal evangelist of the Lean programming language. I have a number of Lean projects in various states of completion on my Github.
I'm currently working on a toy language, compiler, and typechecker implementation. It's currently in the early stages, but progress can be followed here. Also check out my Blog for updates on the project.