keithstellyes/csproofs

Stars
6
Rank 2,539,965 (Top 51 %)
Language
TeX
Created over 7 years ago
Updated over 7 years ago

keithstellyes/csproofs

keithstellyes

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

kwitter

A Twitter clone in Flask supporting either SQLite or Postgres

PyFb

A collection of my Facebook bots and a shared simple library for them

mips-tutorial

A repo for the contents of a MIPS tutorial using Markdown & a makefile to """compile""" it using a Python markdown module and a few plugins.

bfjit

A brainf**k JIT compiler, runs faster than Python :) (for Fizz Buzz and Hello, World!)

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!

Pretty-Data-Stuctures

Another one of those data structures repos but everything here generates pretty images :)

mtg-lookup

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

misc

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

krss

A terminal-based RSS viewer, right now just browses local RSS files

lc3k

My own LC-3 emulator and other tools.

modnet

A forum written in C++ and Lua, with a Lua-based templating engine Postgres by default for DB

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

jpoker

A Java-based poker engine, OOP

keithstellyes-machines

A Java repository for implementing various curious educational machines, LC-3, Little Man Computer, etc.

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.

ddate-server

A server implementation of ddate written in golang with human-readable, JSON, YML and XML endpoints