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