Skip to content
View DanielRodCha's full-sized avatar
3 followers · 4 following

Block or report DanielRodCha

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. SAT-canonical SAT-canonical Public

    SAT-Solver based on conservative retractions

    Haskell 1

  2. CriptHask CriptHask Public

    Cryptography from the point of view of functional programming

    Haskell

  3. SAT-DPLL SAT-DPLL Public

    DPP and DPLL algorithms

    Haskell

  4. SAT-Pol SAT-Pol Public

    SAT-Solver based on Polynomials

    Haskell 1