JT Paasch's repositories
basic-concepts-of-mathematics
Rough draft
data-flow-ppa
Data-flow analyses from the PPA book
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.
aristotle-ctt
Aristotle and Constructive Type Theory paper
arm-program-samples
Examples of simple ARM binary programs
basicargs
Simple way to parse command line arguments.
bizgame
How to win at business, game.
collatordemo
A little BAP plugin demoing the collator.
constructive-type-theory
Constructive type theory notes
curling
A library for doing simple HTTP requests in Haskell
elementary-business-statistics
Elementary business statistics notes
guessme
A simple demo/game in Python
hcat2
A simple cat program (round 2), in Haskell.
httpz
Some examples of doing HTTP requests in Haskell.
json-parsing
Just some examples of parsing with Aeson
lambda
Simple lambda calculus interpreters.
linear-logic
Intro linear logic book
load2demo
I little BAP plugin that demos some of the features of loading two binary executables into BAP.
rcat
Simple cat program, written in Rust. For illustration purposes.
simplygithub
A simple library for working with Github remotely.
skeleton
A skeleton for Django projects.
type-theory-handbook
Type theory (lambda cube) notes
wp-lib
Experimenting with the CBAT WP library