Wolfgang Schwarz

tpg. Tree Proof Generator

paperscraper. tracking and parsing new philosophy papers on the internet

logic2. Lecture notes for a modal logic course

emacs-config. My doom emacs config

papers. some of my philosophy papers

opp-web. Web interface for "Online Papers in Philosophy" feed

webppl-rsa. A webppl package for Rational Speech Act models