GitHub repository: Carnap/Carnap
Primary language: Haskell
Description: A formal logic framework that runs in the browser