Pinned Repositories
designate
WordPress plugin allowing per-post stylesheets.
firmin
A JavaScript animation library using CSS transforms and transitions
hatt
Truth-table generator for classical propositional logic
papertrail
Paper Trail is a single-user publishing tool for book reviews
stylish
Write CSS with Ruby
tarski
An elegant, flexible WordPress theme
tarski-utilities
A few tools I've written to aid development and production of my WordPress theme, Tarski.
udon
Practical functional programming in JavaScript
urlify
Convert accented characters to their ASCII equivalents
beastaugh's Repositories
beastaugh/firmin
A JavaScript animation library using CSS transforms and transitions
beastaugh/udon
Practical functional programming in JavaScript
beastaugh/hatt
Truth-table generator for classical propositional logic
beastaugh/tarski
An elegant, flexible WordPress theme
beastaugh/designate
WordPress plugin allowing per-post stylesheets.
beastaugh/stylish
Write CSS with Ruby
beastaugh/urlify
Convert accented characters to their ASCII equivalents
beastaugh/papertrail
Paper Trail is a single-user publishing tool for book reviews
beastaugh/tarski-utilities
A few tools I've written to aid development and production of my WordPress theme, Tarski.
beastaugh/absolutify
WordPress plugin to turn relative URIs in posts, pages and comments into absolute ones.
beastaugh/access_control
Only allow logged-in users to view your WordPress site.
beastaugh/hakyll
A simple static site generator library in Haskell.
beastaugh/tarski-translations
Community translations for the Tarski WordPress theme
beastaugh/askii
A JavaScript library of ASCII utilities
beastaugh/formalmethods
Formal Methods Seminar handout on the compactness and Löwenheim–Skolem theorems.
beastaugh/hdbc-mysql
Git clone of Chris Waterson's HDBC-mysql with some updates for GHC 7
beastaugh/js-programming-exercises
Exercises and solutions from my seminars on The Elements of JavaScript Programming
beastaugh/js-programming-slides
Slides from my seminars on The Elements of JavaScript Programming
beastaugh/jsdojo
JavaScript group programming exercises.
beastaugh/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)
beastaugh/qc.js
This mirrors the qc.js project on bitbucket.org.
beastaugh/scrunch
beastaugh/tarski-site
Customised version of Tarski for the theme website
beastaugh/urldecode
Command line tool to decode percent-encoded strings.
beastaugh/verification
Verify preconditions for Rails actions (Factored out of Rails 3.)
beastaugh/dotfiles
My *nix dotfiles.
beastaugh/boxes-and-diamonds
Open textbook on modal logic
beastaugh/OpenLogic
An open-source, customizable intermediate logic textbook