Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Static site generator in Haskell
Find Ukulele chords, like, really fast.
SAT solver assistant. Converts propositions (p ^ q) ==> CNF ==> DIMACS CNF files.
The engine for haskell ide-integration. Not an IDE
A spicy twist of a classic game
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
Fast, testable, Scala services built on Twitter-Server and Finagle
Racer support for Vim
⚡ A programming language
Course material for lens
Playing around with Rust
Functional Programming Course
True cost of purchases
Bidirectional URI routing
Minimal implementation of the typed lambda calculus, with type inference
Mirror of Apache Spark
A b-spline sandbox that doesn't suck (as much).
🏁Path-planning algorithms (Dijkstra, A*, etc); a study in ClojureScript, Om and core.async.
Haskell play via http://www.seas.upenn.edu/~cis194/spring13/lectures.html
Incremental Scheme to x86 compiler. Fun!
Stone Tools moves high-definition 720p video from a camera to live audiences in multiple locations in real-time via the internet.
Talks I've given
Extendable path-planning library
Playing around with Clojure and k-means.
Random useful custom git commands.