patrickallo

adaptiveND

Repo for a natual deduction calculus for adaptive reasoning

currency_converter

Converts currency using Yahoo Finance API, supports historical date

document_cluster

A guide to document clustering in Python

legal-resource-registry

Jurisdiction ID and abbreviation data files for using with Jurism and other projects.

lessons_for_a_scientific_programmer

MathPracICTs

learning git and writing about git for collaborative mathematics

mathpracmod

OJSXML

patrickallo.github.io

SPI-paper

XMLforOJS

Interactive Applescript for fetching info from pdfs and writing xml for import in Open Journal Systems