eyeliner.nvim. 👀 Move faster with unique f/F indicators.
cloudberry.fyi. The all-in-one course catalog for McGill University
minimax. Solvers for simple zero-sum games.
group-theory. Testing some algorithms for groups
gentzen. WIP: Automated theorem prover for propositional logic
