Pinned

1. ProofCheck ProofCheck Public

   Proof Checker for a system of Propositional Logic

   PureScript

2. openBridge openBridge Public

   An open source bridge scorepad

   PureScript 1 1

3. DirectProof DirectProof Public

   Create direct proofs automatically

   Haskell 1

4. Abuses Haskell Monads to simulate Qu... Abuses Haskell Monads to simulate Quantum BogoSort.

   1

   module QuantumBogoSort (sort, sortBy) where

   2

   3

   import Data.List (permutations)

   4

   import Control.Monad (guard)

   5

5. IotaBF IotaBF Public

   Tools for making and executing Iota programs, including a BrainFuck interpreter.

   Haskell 2 1

6. Truth-Table-o-Matic Truth-Table-o-Matic Public

   Generates truth tables

   Haskell