jtpaasch Goto Github PK

argparse

Bash argument parser. Declare CLI, parse, and go.

aristotle-ctt

Aristotle and Constructive Type Theory paper

arith

Scratch experiment

arm-program-samples

Examples of simple ARM binary programs

armyguys

Run Docker containers in Amazon's cloud.

artifact

Experiments with AWS and curses.

assets

Walks a directory and compiles a JSON dictionary of all assets/files in the directory.

baglady

A neurotic data collector.

bap-kb

Notes on the BAP knowledge base

bap-toy-bil

basic-concepts-of-mathematics

Rough draft

basicargs

Simple way to parse command line arguments.

bisim

Simple CFG bisimulation checker (in progress)

bizgame

How to win at business, game.

box

Like spin, but written in python.

bugs

A simple tool to run lots of HTTP requests (with Tornado).

collatordemo

A little BAP plugin demoing the collator.

constructive-type-theory

Constructive type theory notes

container

Build and run docker containers.

curling

A library for doing simple HTTP requests in Haskell

data-flow-ppa

Data-flow analyses from the PPA book

decipher

Simple substitution cipher cracker.

dock

Use docker on a Vagrant VM.

editor.js

A javascript "edit in place" module.

elementary-business-statistics

Elementary business statistics notes

elfsymbols

Read off symbol tables in an ELF binary.

envfile

Loads/unloads variables from a file into the environment.

extstt

Simply typed lambda calculus extended with custom base types, option, records, and lists.

gspread-helper

A simple way to connect to a spreadsheet in Google Drive (using gspread).

guessme

A simple demo/game in Python