Pinned Repositories
argparse
Bash argument parser. Declare CLI, parse, and go.
elfsymbols
Read off symbol tables in an ELF binary.
extstt
Simply typed lambda calculus extended with custom base types, option, records, and lists.
inc
Tableaux prover (and contradiction counter) for formally inconsistent logic mbC.
scram
A simple cram-like test runner.
turtles
Abstract interpretation in datalog.
jtpaasch's Repositories
jtpaasch/baglady
A neurotic data collector.
jtpaasch/assets
Walks a directory and compiles a JSON dictionary of all assets/files in the directory.
jtpaasch/envfile
Loads/unloads variables from a file into the environment.
jtpaasch/spin
Spin up VMs quickly and easily. A simple wrapper for vagrant.
jtpaasch/argparse
Bash argument parser. Declare CLI, parse, and go.
jtpaasch/scram
A simple cram-like test runner.
jtpaasch/arith
Scratch experiment
jtpaasch/armyguys
Run Docker containers in Amazon's cloud.
jtpaasch/artifact
Experiments with AWS and curses.
jtpaasch/bisim
Simple CFG bisimulation checker (in progress)
jtpaasch/box
Like spin, but written in python.
jtpaasch/bugs
A simple tool to run lots of HTTP requests (with Tornado).
jtpaasch/container
Build and run docker containers.
jtpaasch/decipher
Simple substitution cipher cracker.
jtpaasch/dock
Use docker on a Vagrant VM.
jtpaasch/gspread-helper
A simple way to connect to a spreadsheet in Google Drive (using gspread).
jtpaasch/haskell
jtpaasch/Hurl
A simple way to make HTTP requests in Haskell.
jtpaasch/irk
A dumb little IRC client
jtpaasch/jason
A simple JSON decoder/encoder.
jtpaasch/jQuery.styleInPlace
A jQuery plugin that lets you change the CSS styles of an element in place, in the browser.
jtpaasch/lazystream.py
A lazy (non-blocking) stream reader that collects lines from a stream (like stdout) as they become available.
jtpaasch/prof
A tool to profile a shell command.
jtpaasch/psrun
Runs commands and collects information about the process.
jtpaasch/python-package-template
A template for a basic python package.
jtpaasch/settings-php
A simple tool for reading and parsing a settings file.
jtpaasch/tabu
Multiple project management tool.
jtpaasch/tease
A tool that reads and parses log entries.
jtpaasch/utils
Scripts, programs, and other utilities I use frequently.
jtpaasch/yoh
A command line tool for developing Yesod sites on a Haskell VM, and even deploying them to Heroku.