Skip to content
View olligobber's full-sized avatar

Organizations

@souffle-lang

Block or report olligobber

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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