Here are some projects I've started or been a part of.
Termonad is a terminal emulator fully configurable in Haskell. It is the "XMonad of terminal emulators".
A Haskell library that makes it easy to pretty print Haskell datatypes. It is mostly used when debugging or playing around in the REPL.
Nix backend for PureScript. Transpile PureScript code to Nix.
A Haskell library that adds a way to return type-safe error responses from a Servant API.
I have contributed various things to nixpkgs. I mainly help with the Haskell infrastructure.
A break-timer that forces you to take a break while working at your computer.
Presentations I've given.
An explanation of how branches and commits work behind the scenes of Git. The contents of
.git/are looked at in depth. The source for the presentation can be found here.
An explanation of type families in Haskell. Explains what kind of problems type families let us solve. Also explains the relationship between type families and functional dependencies. The source for the presentation can be found here. It is also available in Japanese.
Lightning Talks I've given. Lightning talks are generally short presentations that take less than 5 minutes to give.
Explanation of the
git commitcommands. The source for the presentation can be found here.
Short explanation of bloom filters. The source for the presentation can be found here.
Other media about things I've done.
This is a tech website reporting about a lightning talk I did about PureScript's community.