- Truth Table Generator: generates truth tables for formulas of propositional logic in plain text or LaTeX. I use this to create truth tables for my lecture slides in my intro logic class.
- FitchJS: a web app that lets users construct and verify proofs in a Fitch-style natural deduction system, and then export verified proofs in plain text or LaTeX.
- FOL Evaluator: a semantic calculator which will evaluate a well-formed formula of first-order logic on a user-specified model. The program provides a description of the entire evaluation process used to determine the formula's truth value.