Projects

• Munch

  Reimplementation of parsec. This is a learning project.

• Mycelium

  A basic proof checker for intuitionistic logic over simply typed lambda calculus.

• Machine Learning Notes

  Just like it says on the tin.

• wordcereal

  A word list for encoding bits as grammatically correct sentences.

• hakyll-shortcode

  WordPress-style shortcodes for Hakyll. (Side note: why are so many of my projects in Haskell? I should branch out…)

• Yentl

  A synthetic geometry DSL in Haskell.

• Haskify

  This is a Haskell client library for the Shopify REST API. Originally built for use in some tools supporting Gingiber. It’s kind of garbage, but I learned a lot. :)

• Software Tools in Haskell

  As a learning project I’m (slowly) reading through the book Software Tools by Kernighan and Plauger and porting the example programs to Haskell. This project includes code, documentation, and lots of thinking on paper.

• Feivel

  A templating language for math education.

• Arithmetic Made Difficult

  Wherein we develop some elementary number theory in excruciating detail from a category-ish perspective. With proofs and programs.