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.