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’ve also contributed to. More personal projects to come!

Technologies

I generally like to use functional languages like Haskell, Scala, Rust or Elm when I write code, though for simple tasks I also find C and Python well-suited. 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 three places: either on GNU Generation’s gitlab, around my github account or at sourcehut.