Benedict Eastaugh's repositories
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.
absolutify
WordPress plugin to turn relative URIs in posts, pages and comments into absolute ones.
access_control
Only allow logged-in users to view your WordPress site.
tarski-translations
Community translations for the Tarski WordPress theme
formalmethods
Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.
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
js-programming-slides
Slides from my seminars on The Elements of JavaScript Programming
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)
tarski-site
Customised version of Tarski for the theme website
verification
Verify preconditions for Rails actions (Factored out of Rails 3.)
boxes-and-diamonds
Open textbook on modal logic