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