beastaugh Goto Github PK

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.

askii

A JavaScript library of ASCII utilities

boxes-and-diamonds

Open textbook on modal logic

designate

WordPress plugin allowing per-post stylesheets.

dotfiles

My *nix dotfiles.

firmin

A JavaScript animation library using CSS transforms and transitions

formalmethods

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

hakyll

A simple static site generator library in Haskell.

hatt

Truth-table generator for classical propositional logic

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

jsdojo

JavaScript group programming exercises.

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)

openlogic

An open-source, customizable intermediate logic textbook

papertrail

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

qc.js

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

scrunch

stylish

Write CSS with Ruby

tarski

An elegant, flexible WordPress theme

tarski-site

Customised version of Tarski for the theme website

tarski-translations

Community translations for the Tarski 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

urldecode

Command line tool to decode percent-encoded strings.

urlify

Convert accented characters to their ASCII equivalents

verification

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