Projects

Here are some projects I've started or been a part of.

  • Termonad

    Termonad is a terminal emulator fully configurable in Haskell. It is the "XMonad of terminal emulators".

  • pretty-simple

    A Haskell library that makes it easy to pretty print Haskell datatypes. It is mostly used when debugging or playing around in the REPL.

  • PureNix

    Nix backend for PureScript. Transpile PureScript code to Nix.

  • servant-checked-exceptions

    A Haskell library that adds a way to return type-safe error responses from a Servant API.

  • nixpkgs

    I have contributed various things to nixpkgs. I mainly help with the Haskell infrastructure.

  • break-time

    A break-timer that forces you to take a break while working at your computer.

Presentations

Presentations I've given.

  • Git Commits and Branches (Japanese)

    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.

  • Haskell Type Families

    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

Lightning Talks I've given. Lightning talks are generally short presentations that take less than 5 minutes to give.

Media

Other media about things I've done.