Rudy Matela's repositories

concise-cheat-sheets

Cheat Sheets for programming languages and tools

evenmoreutils

A collection of command line tools to extend the shell environment.

Language:CLicense:GPL-2.0Stargazers:85Issues:3Issues:1

fitspec

refine properties for testing Haskell programs

Language:HaskellLicense:BSD-3-ClauseStargazers:74Issues:12Issues:1

leancheck

enumerative property-based testing for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:51Issues:8Issues:15

speculate

Speculate laws about Haskell functions

Language:HaskellLicense:BSD-3-ClauseStargazers:30Issues:6Issues:12

express

Dynamically-typed Haskell expressions involving applications and variables.

Language:HaskellLicense:NOASSERTIONStargazers:22Issues:5Issues:1

tankode

A programming action game.

Language:HaskellLicense:NOASSERTIONStargazers:14Issues:7Issues:1

extrapolate

generalize counter-examples of property-based testing

Language:HaskellLicense:BSD-3-ClauseStargazers:13Issues:6Issues:5

conjure

Produce Haskell functions out of partial definitions

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:3Issues:0

hello-haskell

Hello World! (in Haskell)

Language:MakefileLicense:NOASSERTIONStargazers:3Issues:3Issues:0

udge

An online judge for programming problems

Language:ShellLicense:GPL-2.0Stargazers:3Issues:3Issues:2

hspec-leancheck

LeanCheck support for the Hspec test framework.

Language:MakefileLicense:BSD-3-ClauseStargazers:2Issues:4Issues:0

leancheck-instances

Common LeanCheck instances

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

percent-format

simple printf-style string formatting for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:1

tasty-leancheck

LeanCheck support for the Tasty test framework (Haskell)

Language:MakefileLicense:BSD-3-ClauseStargazers:1Issues:5Issues:0

test-framework-leancheck

LeanCheck support for test-framework.

Language:MakefileLicense:BSD-3-ClauseStargazers:1Issues:4Issues:1
Stargazers:0Issues:0Issues:0

dotenv-hs

Load environment variables from dotenv files for Haskell

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

hello-c

A simple hello world program in C

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

hello-py

A simple Hello World program in Python

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

hoff

A gatekeeper for your commits

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

kudzu

coverage driven random testing framework

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

lang-refcards

Reference Cards for (Human) Languages

Language:TeXStargazers:0Issues:3Issues:0

path-pieces

Components of paths.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

rudymatela.github.io

My Github page.

Stargazers:0Issues:0Issues:0

sandbox

My sandbox

Stargazers:0Issues:3Issues:1

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:3Issues:0

tasty

My fork of Tasty testing framework, original repo:

Language:HaskellStargazers:0Issues:0Issues:0

textemplate

LaTeX document template

Language:TeXStargazers:0Issues:3Issues:0

vinyl-wall-mount

A simple 3d printable Vinyl Wall Mount

Stargazers:0Issues:3Issues:0