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 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 I've given. Lightning talks are generally short presentations that take less than 5 minutes to give.

• PureScript Community (Japanese)

  Introduction to the PureScript community for people coming from JavaScript.

• NixOS LT (Japanese)

  Short introduction to NixOS and how it improves upon normal distributions. The source for the presentation can be found here.

• Shell Shock Explanation (Japanese)

  Explanation of how the Shell Shock vulnerability works. The source for the presentation can be found here.

• --patch Flag for git add (Japanese)

  Explanation of the --patch flag for git add and git commit commands. The source for the presentation can be found here.

• Bloom Filter LT (Japanese)

  Short explanation of bloom filters. The source for the presentation can be found here.

• Heartbleed Explanation (Japanese)

  Explanation of how the Heartbleed vulnerability works. The source for the presentation can be found here.

Other media about things I've done.

• We Are PureScripters Lightning Talk (Japanese)

  This is a tech website reporting about a lightning talk I did about PureScript's community.