The Wayback Machine - https://web.archive.org/web/20220120110051/https://github.com/rudymatela/
Skip to content
Avatar

Achievements

Achievements

Block or Report

Block or report rudymatela

Report abuse

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

Report abuse

Pinned

  1. Cheat Sheets for programming languages and tools

    TeX 97 10

  2. express Public

    Dynamically-typed Haskell expressions involving applications and variables.

    Haskell 22 2

  3. enumerative property-based testing for Haskell

    Haskell 37 6

  4. generalize counter-examples of property-based testing

    Haskell 13

  5. fitspec Public

    refine properties for testing Haskell programs

    Haskell 69

  6. Speculate laws about Haskell functions

    Haskell 27

1,698 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2022

Created 5 commits in 1 repository