Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
rudymatela
Follow

Rudy Matela rudymatela

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. concise-cheat-sheets concise-cheat-sheets Public

    Cheat Sheets for programming languages and tools

    TeX 115 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 53 8

  4. extrapolate extrapolate Public

    generalize counter-examples of property-based testing

    Haskell 13

  5. fitspec fitspec Public

    refine properties for testing Haskell programs

    Haskell 78

  6. speculate speculate Public

    Speculate laws about Haskell functions

    Haskell 31