Projects

hsautogui

Github

Hackage

• Haskell bindings for PyAutoGUI, a library for automating user interaction tasks

rrule

Github

Hackage

• Recurrence rule parser and formatter

Doldrums

Github

• Compiler for a small, purely functional, typechecked programming language

Little Logician

Github

• Tiny proof system for classical propositional logic

Raspi Lights

Github

• Invented an infinite array generation and transformation language called Pixll
• Pixll compiles (with a compiler written in Haskell) into Python, so this is also a compilers project
• Pixll can be used to create light shows on strands of RGB LEDs, so this is also a hardware project
• There’s a tiny Flask app that allows users to select patterns, so this is also a web project

Arduino Lights

Github

• Similar to Raspi lights except compiles to C code to run on Arduino
• Uses Haskell data structures directly, so it’s useful for teaching some bits of introductory Haskell

Forest

Github

• Forest is a bunch of purely functional trees
• Implemented in Haskell

Game Together

Github

• Website, Android and iOS apps for keeping track of classic games
• Built with one shared Elm codebase

Descent

• Data analysis app built with GHCJS
• Uses Haskell TensorFlow bindings for a few common machine learning tasks

Raspi React

• Game for testing reaction time
• Built hardware (Christmas tree switch) and software (Python script) components

Superhero Menu

• Flask and Angular menu app
• Has searching, styling, filtering functionality
• Built in one focused week

Disasteroids

• Virtually reality asteroid mining space survival game
• Built with a team of five, which I led
• Won first place in every category at the Ann Arbor Oculus Rift Hackathon