keithstellyes

csproofs

Just some of my CS Proofs, things like why `k << 1 == k * 2`

Seams-Bot

An interface to use text-based input and commands for various functions, from pulling up movie data, to directions. Works with SMS (great for data caps!) and Command Line/Terminal interface. Play rock-paper-scissors over SMS!

lc3k

My own LC-3 emulator and other tools.

misc

A repository containing various snippets and other pieces of code that don't quite belong in their own repo.

mtg-lookup

A Python and SQLite powered search engine for Magic: The Gathering

Android-IT-Summer-School-2015-Group-4

epub

python/curses cli epub reader (Development branch, will merge with master when master's PR is merged)

facebook-wordcloudgen

Generates a wordcloud from a Facebook group that the user of the script is admin of. Most of this was written on the city bus, so I still need to fix and clean up.

chaos

A social coding experiment that updates its own code democratically

fiesta-js-compiler

A compiler for native binaries in JavaScript very much WIP

husciibot

husciibot

Keith-Discrete-Repo

This project was designed to help me through out a discrete mathematics course, and is more an exercise/learning resource than anything clever. Sets, matrices, etc...

LD35-Jam

inital commit

libre-engine

myhtml

Fast C/C++ HTML 5 Parser. Using threads.

take-a-hike

push a button find a park