Pinned Loading

1. Fe-Nix-CC/Fe-Nix-Site Fe-Nix-CC/Fe-Nix-Site Public

   A home page for Fe Nix

   CSS

2. ProofCheck ProofCheck Public

   Proof Checker for a system of Propositional Logic

   PureScript

3. openBridge openBridge Public

   An open source bridge scorepad

   PureScript 1 1

4. DirectProof DirectProof Public

   Create direct proofs automatically

   Haskell 1

5. 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

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

   Generates truth tables

   Haskell