Skip to content
View rudymatela's full-sized avatar
123 followers · 130 following

Achievements

Achievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback
Block or Report

Block or report rudymatela

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

  1. concise-cheat-sheets concise-cheat-sheets Public

    Cheat Sheets for programming languages and tools

    TeX 111 12

  2. express express Public

    Dynamically-typed Haskell expressions involving applications and variables.

    Haskell 22 2

  3. leancheck leancheck Public

    enumerative property-based testing for Haskell

    Haskell 51 7

  4. extrapolate extrapolate Public

    generalize counter-examples of property-based testing

    Haskell 13

  5. fitspec fitspec Public

    refine properties for testing Haskell programs

    Haskell 74

  6. speculate speculate Public

    Speculate laws about Haskell functions

    Haskell 30