close
The Wayback Machine - https://web.archive.org/web/20210801072103/https://github.com/rudymatela
Skip to content
Avatar
83 followers · 87 following · 38

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor
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.

Report abuse

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

Report abuse

Pinned

  1. concise-cheat-sheets

    Cheat Sheets for programming languages and tools

    TeX 95 11

  2. express

    Dynamically-typed Haskell expressions involving applications and variables.

    Haskell 14 1

  3. leancheck

    enumerative property-based testing for Haskell

    Haskell 35 6

  4. extrapolate

    generalize counter-examples of property-based testing

    Haskell 13

  5. fitspec

    refine properties for testing Haskell programs

    Haskell 67

  6. speculate

    Speculate laws about Haskell functions

    Haskell 27

1,684 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 1, 2021

rudymatela has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.