Rudy Matela

concise-cheat-sheets. Cheat Sheets for programming languages and tools

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

fitspec. refine properties for testing Haskell programs

leancheck. enumerative property-based testing for Haskell

speculate. Speculate laws about Haskell functions

express. Dynamically-typed Haskell expressions involving applications and variables.

tankode. A programming action game.

extrapolate. generalize counter-examples of property-based testing

conjure. Produce Haskell functions out of partial definitions

udge. An online judge for programming problems

hello-haskell. Hello World! (in Haskell)

hspec-leancheck. LeanCheck support for the Hspec test framework.

tasty-leancheck. LeanCheck support for the Tasty test framework (Haskell)

test-framework-leancheck. LeanCheck support for test-framework.

leancheck-instances. Common LeanCheck instances

python-leancheck. Python

percent-format. simple printf-style string formatting for Haskell