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/setup-heroku-django
A script that creates a django project for heroku. It installs and sets up everything.
jtpaasch/Story.js
Define a sequence of events, and how to respond to them.
jtpaasch/repo.hs
A very basic implementation of git, written in (I hope readable) haskell.
jtpaasch/Registrar.php
A class that handles the creation of objects and helps with dependency injection.
jtpaasch/Mildred
A type-safe templating system for PHP, with syntax like Jinja or Twig.
jtpaasch/Loader.js
A simple, non-blocking javascript loader.
jtpaasch/Editor.js
A javascript "edit in place" module.
jtpaasch/Publisher.js
A javascript pub/sub module.