pathawks

liquid-md5

A Liquid filter that outputs an MD5 hash

jekyll-disqus-comments

A system for syncing Disqus comments to Jekyll

Embed-PDF

Adds pseudo oembed support for PDF documents to WordPress using Google Document Viewer

Export-to-InDesign

Make WordPress the center of your digital newsroom. Allow reporters to print stories or export to InDesign, right inside the post editor.

Christmas-Songs

Public Domain Christmas songs in ChordPro format

podcast

Generate a podcast from a folder of MP3s

asm-linux

GDB2Script

Convert a text dump from GDB into a timed text for use with scriptreplay

otpdec

One-Time Password decoder

statusline.vim

My own Vim statusline

cs4420-project

Using A* to solve 8 and 15 tile puzzles

Castle

A C interpreter for the 1984 adventure game "Castle"

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

deephash

Script to hash every file in a directory tree

dotfiles

my dotfiles

DroPNGs

Inspect PNG chunks

gbcamextract

Extracts photos from Game Boy Camera saves.

graphs

Graphs that I have created

jekyll-creativecommons

Easily publish a Jekyll site with a Creative Commons license

jekyll-xmlify

Adds Jekyll filter to minify sections of XML

kibana-demo

Generate logs for elasticsearch for a Kibana demo

LLVM-Project

log-colors

Colorize log messages

mark-twain_the-adventures-of-tom-sawyer

Epub source for The Adventures of Tom Sawyer, by Mark Twain

postlist

Adds shortcode `[postlist]` for embedding a list of posts into a page

R-Demos

Solving-the-Halting-Problem

sudoku-smt

Exploring SMT solvers by solving Sudoku puzzles

Technical-Showcase

Technical Showcase

Test-Ivy-CVC4

Testing publishing CVC4 via Ivy