dblotsky

Software Engineer. UWaterloo Grad. Past: Microsoft, Apple, IBM.

Waterloo, ON

Pinned Repositories

cordova-docs
Apache Cordova Documentation
Language:JavaScript352 50 159556
arduino_projects
My projects for the Arduino Duemilanove.
Language:Arduino3 1 00
dotfiles
Dotfiles
Language:Shell2 1 00
encroach
A simple territory game.
Language:Java3 2 10
github-markdown-headings
A setup to reverse-engineer GitHub's Markdown heading ID generation.
Language:Makefile1 1 00
ipd2readable
A set of Python tools to make BlackBerry's very monolithic IPD backups more easily machine-readable.
Language:Python2 1 00
problem
A Rubik's Cube on which to practise AI algorithms.
Language:C++2 1 00
pymtg
A CLI for Magic: The Gathering collection and deck management.
Language:Python2 2 10
rdf-browser
A graphical browser for RDF objects.
Language:Python1 1 01
stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Language:Python20 2 299

dblotsky/stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Language:Python20 2 299
dblotsky/arduino_projects
My projects for the Arduino Duemilanove.
Language:Arduino3 1 00
dblotsky/encroach
A simple territory game.
Language:Java3 2 10
dblotsky/dotfiles
Dotfiles
Language:Shell2 1 00
dblotsky/ipd2readable
A set of Python tools to make BlackBerry's very monolithic IPD backups more easily machine-readable.
Language:Python2 1 00
dblotsky/problem
A Rubik's Cube on which to practise AI algorithms.
Language:C++2 1 00
dblotsky/pymtg
A CLI for Magic: The Gathering collection and deck management.
Language:Python2 2 10
dblotsky/stringfuzz_website
This repository holds the StringFuzz website.
Language:JavaScript2 2 0
dblotsky/aws-lambda-python-opencv
Simple script that builds an AWS Lambda deployment package including OpenCV
Language:Shell1 1 0
dblotsky/cordova-docs
Mirror of Apache Cordova docs
Language:JavaScript1 1 0
dblotsky/github-markdown-headings
A setup to reverse-engineer GitHub's Markdown heading ID generation.
Language:Makefile1 1 00
dblotsky/rdf-browser
A graphical browser for RDF objects.
Language:Python1 1 01
dblotsky/songlist
A Django application to keep track of a list of songs.
Language:Python1 1 0
dblotsky/stringfuzz_paper
The repository for the paper describing StringFuzz.
Language:TeX1 5 1