Some of My Semi-Active Programming Projects

  • A web page that tests formulas of first-order, propositional, or modal logic for validity and tries to output either a tableau proof or a countermodel.
  • This site tracks new philosophy papers uploaded to personal pages and repositories.
  • Full-text search over the works of David Lewis.
  • A WebPPL package for simulating rational speakers and hearers in the "Rational Speech Act" framework.