Benedict Eastaugh (beastaugh)

beastaugh

Geek Repo

Company:University of Warwick

Home Page:http://extralogical.net

Github PK Tool:Github PK Tool

Benedict Eastaugh's repositories

firmin

A JavaScript animation library using CSS transforms and transitions

Language:JavaScriptLicense:BSD-3-ClauseStargazers:198Issues:8Issues:25

udon

Practical functional programming in JavaScript

Language:JavaScriptLicense:NOASSERTIONStargazers:69Issues:5Issues:3

hatt

Truth-table generator for classical propositional logic

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:6Issues:1

tarski

An elegant, flexible WordPress theme

Language:PHPLicense:GPL-2.0Stargazers:22Issues:7Issues:44

designate

WordPress plugin allowing per-post stylesheets.

Language:PHPLicense:GPL-2.0Stargazers:16Issues:5Issues:0

stylish

Write CSS with Ruby

Language:RubyStargazers:12Issues:4Issues:0

urlify

Convert accented characters to their ASCII equivalents

Language:RubyLicense:NOASSERTIONStargazers:12Issues:5Issues:3

papertrail

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

Language:RubyLicense:GPL-2.0Stargazers:8Issues:4Issues:9

tarski-utilities

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

Language:RubyStargazers:4Issues:4Issues:0

absolutify

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

Language:PHPLicense:GPL-2.0Stargazers:3Issues:4Issues:0

access_control

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

Language:PHPStargazers:3Issues:4Issues:0

hakyll

A simple static site generator library in Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:2Issues:0

tarski-translations

Community translations for the Tarski WordPress theme

Language:RubyStargazers:3Issues:3Issues:0

askii

A JavaScript library of ASCII utilities

Language:JavaScriptStargazers:2Issues:3Issues:0

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

Language:HaskellLicense:LGPL-2.1Stargazers:2Issues:4Issues:0

js-programming-exercises

Exercises and solutions from my seminars on The Elements of JavaScript Programming

Language:JavaScriptStargazers:2Issues:3Issues:0

js-programming-slides

Slides from my seminars on The Elements of JavaScript Programming

jsdojo

JavaScript group programming exercises.

Language:RubyStargazers:2Issues:3Issues:0

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)

Language:RubyLicense:MITStargazers:2Issues:2Issues:0

qc.js

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

Language:JavaScriptLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0
Language:RubyLicense:NOASSERTIONStargazers:2Issues:2Issues:0

tarski-site

Customised version of Tarski for the theme website

Language:PHPStargazers:2Issues:3Issues:0

urldecode

Command line tool to decode percent-encoded strings.

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

verification

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

Language:RubyLicense:MITStargazers:2Issues:2Issues:0

dotfiles

My *nix dotfiles.

Language:ShellStargazers:1Issues:2Issues:0

boxes-and-diamonds

Open textbook on modal logic

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:0Issues:2Issues:0