Popular repositories Loading

1. tpg tpg Public

   Tree Proof Generator

   JavaScript 173 20

2. paperscraper paperscraper Public

   tracking and parsing new philosophy papers on the internet

   HTML 9 4

3. logic2 logic2 Public

   Lecture notes for a modal logic course

   TeX 3

4. papers papers Public

   some of my philosophy papers

   PostScript 2

5. opp-web opp-web Public

   Web interface for "Online Papers in Philosophy" feed

   Python 2

6. emacs-config emacs-config Public

   My doom emacs config

   Emacs Lisp 1