All Git Users → rudymatela

4 open source projects by rudymatela

[ Open user page on Github ]

enumerative property-based testing for Haskell

✭ 38

haskell Makefile shell testing property-based-testing testing-tools property-testing enumerative-testing leancheck

2. concise-cheat-sheets

Cheat Sheets for programming languages and tools

✭ 98

TeX Makefile shell documentation latex cheatsheet latex-template ctf typeclasses haskell-learning reference-card

generalize counter-examples of property-based testing

✭ 13

haskell Makefile shell testing debugging property-based-testing testing-tools property-testing enumerative-testing leancheck generalization counter-example-generalization

Dynamically-typed Haskell expressions involving applications and variables.

✭ 22

haskell Makefile shell

1-4 of 4 user projects