Show Source


  • GRADE Reporting And Definition Environment, a software library and program for managing a class full of students. See its README.
  • Dyna2 prototype efforts (part of my PhD work at JHU) may be found at


  • I have, for many semesters, run a reading group on Category Theory. Towards that end, I have a lot of notes on topics in Category Theory. Git repo of TeX documents available locally.
  • In January of 2012, I taught an introduction to Haskell to 32 JHU undergrads. This material is by now very dated, but perhaps informative all the same. See Fun with Haskell, Intersession 2012.

Various Student Seminar Talks

  • In 2008, I attempted to present A Rewriting Prolog Semantics (Kulas, 2000) to the JHU PL seminar; I made my own slides, which are available in PDF here.
  • In 2011, I gave a (not very well done) talk about artificial life to the JHU ACM. Slides are available in DVI here.
  • In 2012, I gave a (long) presentation about Tor to the JHU ACM. Slides are available in PDF here. Note that, as happens with these things, that this material is a tad stale.
  • In 2013, I presented Figaro to the JHU CLSP. The slides are available in PDF here.