teh/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Discovered public repositories for teh in the GitHub catalog.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Dart port of three.js
Simple environment variable parser library.
Persistent (i.e. immutable) data structures for Python
Various conda recipes
build and test recipes for conda
Logic Programming in Python
Public repository.
html5 audio player because ipad can't download mp3s.
smtp server sketch
Generate strings from a ragel FSM
dojo
my bashrc stuff
A mid-level client library for the PostgreSQL database, intended to be fast and easy to use.
Scrape cinema web sites for show times
python crontab parser
Public repository.
Does this work?
Python binding for mongrel2's http 1.1 parser
A sketch implementation based on numpy's ndarray
Implementation of rsync's delta diff (for high entropy data only!)
Public repository.
Hacky implementation of ppjoin by Chuan Xia et Al
Experimentations in IRC
produces Debian source packages from Python packages (see README.rst for full documentation)
Attempt to use the nexus one as a drum stick (via the accelerometer)
monmoth coffee ratings
HTML5 <audio> experiment
build android app with scala and make