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 Public

    SAT-Solver based on conservative retractions

    Haskell 1

  2. CriptHask Public

    Cryptography from the point of view of functional programming

    Haskell

  3. SAT-DPLL Public

    DPP and DPLL algorithms

    Haskell

  4. SAT-Pol Public

    SAT-Solver based on Polynomials

    Haskell 1