tomprince/pivotal_tools
geeky command-line interface with additional scrum, planning poker, and changelog generation features
Developer Profile
tomprince
Discovered public repositories for tomprince in the GitHub catalog.
tomprince/deed
Tools for managing a private CA.
tomprince/txjsonrpc
Public repository.
tomprince/org-merge-driver
Git merge driver, for org-mode files.
tomprince/coverage-reporter
Public repository.
tomprince/twisted
Event-driven networking engine written in Python.
tomprince/braid
Automation scripts for twistedmatrix.com
tomprince/txgmetric
Public repository.
tomprince/treq
Python requests like API built on top of Twisted's HTTP client.
tomprince/monitor-core
Ganglia Monitoring core
tomprince/agentforhire
An attempt to get a good ResourceTraversingAgent for testing Twisted web Resources
tomprince/txgithub
Public repository.
tomprince/gentoo-overlay
Public repository.
tomprince/highscore
High-score tracking daemon
tomprince/agda-categories
Categories parametrized by morphism equality, in Agda
tomprince/gentoo-haskell
official gentoo haskell overlay
tomprince/Idris-dev
A Dependently Typed Functional Programming Language
tomprince/alot
commandline MUA using notmuch and urwid
tomprince/aidecoe-overlay
aidecoe's experimental Gentoo overlay
tomprince/coq-reflect
Plugin to turn kernel constr's in to coq terms and back
tomprince/zenburn-el
The zenburn color theme for GNU Emacs
tomprince/xdg-paths-el
Public repository.
tomprince/pycaml
Public repository.
tomprince/org-mode
Outline-based notes management and organizer
tomprince/coq-misc
Public repository.
tomprince/buildbot-configs
Public repository.
tomprince/universes
Public repository.
tomprince/hct
Higher Category Theory notes
tomprince/abstract_hint
Tactic to add proof of goal as a hint.
tomprince/coq-ext-lib
Extended Library for Coq
tomprince/rippling
Sean Wilson's rippling plugin.
tomprince/dfhack
Memory hacking library for Dwarf Fortress and a set of tools that use it
tomprince/coq
Public repository.
tomprince/buildbot
Python-based continuous integration testing framework; send pull requests for your patches!
tomprince/math-classes
Public repository.
tomprince/gemrb
Game Engine Made with preRendered Background