My dissertation, Truth, Belief, and Inquiry: A New Theory of Knowledge is available here

As part of its completion, I coded the following:

• ConvinceMe Update - An update to ConvinceMe to include simplicity weight, allow for contradiction-together, etc.Coded in Java.
• Calcuhater - A computer program used in an example of an unreliable (but prima facie plausible) belief-formation process. Coded in Ruby.
• ECHO scripts - Several scripts to demonstrate the acceptability of certain propositions given other background propositions, evidence, etc. Coded in ECHO.

ConvinceMe Modifications at GitHub