Benedict Eastaugh

firmin. A JavaScript animation library using CSS transforms and transitions

udon. Practical functional programming in JavaScript

hatt. Truth-table generator for classical propositional logic

tarski. An elegant, flexible WordPress theme

designate. WordPress plugin allowing per-post stylesheets.

stylish. Write CSS with Ruby

urlify. Convert accented characters to their ASCII equivalents

papertrail. Paper Trail is a single-user publishing tool for book reviews

tarski-utilities. A few tools I've written to aid development and production of my WordPress theme, Tarski.

access_control. Only allow logged-in users to view your WordPress site.

absolutify. WordPress plugin to turn relative URIs in posts, pages and comments into absolute ones.

hakyll. A simple static site generator library in Haskell.

tarski-translations. Community translations for the Tarski WordPress theme

askii. A JavaScript library of ASCII utilities

methodphitamine. The Methodphitamine! Creates the implied block argument "it" which makes the refining and enumerating of collections much simpler. For example, User.find(:all).collect &its.contacts.map(&its.last_name.capitalize)

js-programming-slides. Slides from my seminars on The Elements of JavaScript Programming

formalmethods. Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.

tarski-site. Customised version of Tarski for the theme website

scrunch. Ruby

qc.js. This mirrors the qc.js project on bitbucket.org.

urldecode. Command line tool to decode percent-encoded strings.

verification. Verify preconditions for Rails actions (Factored out of Rails 3.)

jsdojo. JavaScript group programming exercises.

hdbc-mysql. Git clone of Chris Waterson's HDBC-mysql with some updates for GHC 7

js-programming-exercises. Exercises and solutions from my seminars on The Elements of JavaScript Programming

dotfiles. My *nix dotfiles.

beastaugh.github.io. JavaScript