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/turtles
Abstract interpretation in datalog.
jtpaasch/bap-kb
Notes on the BAP knowledge base
jtpaasch/basic-concepts-of-mathematics
Rough draft
jtpaasch/data-flow-ppa
Data-flow analyses from the PPA book
jtpaasch/elfsymbols
Read off symbol tables in an ELF binary.
jtpaasch/extstt
Simply typed lambda calculus extended with custom base types, option, records, and lists.
jtpaasch/inc
Tableaux prover (and contradiction counter) for formally inconsistent logic mbC.
jtpaasch/aristotle-ctt
Aristotle and Constructive Type Theory paper
jtpaasch/arm-program-samples
Examples of simple ARM binary programs
jtpaasch/bap-toy-bil
jtpaasch/basicargs
Simple way to parse command line arguments.
jtpaasch/bizgame
How to win at business, game.
jtpaasch/collatordemo
A little BAP plugin demoing the collator.
jtpaasch/constructive-type-theory
Constructive type theory notes
jtpaasch/curling
A library for doing simple HTTP requests in Haskell
jtpaasch/elementary-business-statistics
Elementary business statistics notes
jtpaasch/guessme
A simple demo/game in Python
jtpaasch/hcat
Simple cat program, written in Haskell. For illustration purposes.
jtpaasch/hcat2
A simple cat program (round 2), in Haskell.
jtpaasch/hilda
jtpaasch/httpz
Some examples of doing HTTP requests in Haskell.
jtpaasch/json-parsing
Just some examples of parsing with Aeson
jtpaasch/lambda
Simple lambda calculus interpreters.
jtpaasch/linear-logic
Intro linear logic book
jtpaasch/load2demo
I little BAP plugin that demos some of the features of loading two binary executables into BAP.
jtpaasch/rcat
Simple cat program, written in Rust. For illustration purposes.
jtpaasch/simplygithub
A simple library for working with Github remotely.
jtpaasch/skeleton
A skeleton for Django projects.
jtpaasch/type-theory-handbook
Type theory (lambda cube) notes
jtpaasch/wp-lib
Experimenting with the CBAT WP library