Popular repositories Loading

1. logix logix Public

   Logic Explorer - customizable proof construction tool for sequent calculi

   Haskell 20

2. propcheck propcheck Public

   Proof checker for propositional logic

   Haskell 16

3. model-checking model-checking Public

   A model checking tutorial, written in literate Haskell

   Haskell 10 1

4. fifteen fifteen Public

   15 puzzle as a haskell tui application

   Haskell 8 2

5. maze maze Public

   a tui maze game

   Haskell 7 1

6. minesolver minesolver Public

   minesweeper game + strategic advice feature

   Haskell 6