GitHub repository: quackduck/truthtabl.es
Description: Truth table generator, (incomplete) proof builder, and more, built with Next.js and Ohm