Notable projects

You may be interested in checking out stainless, a static contract verification library in Scala I’ve contributed to, and servant, a web RESTful API building library in Haskell I also contribute to. More personal projects to come!

Technologies

I generally like to use functional languages like Haskell, Scala or Elm when I have to do web development. I run Archlinux on a nice 12" Thinkpad, and use vim to do most of my development.

Other places

You can generally find my publicly available code in two places: either on GNU Generation’s gitlab, or around my github account.