4
Repos
211
Stars
20
Forks
211
Watchers
Repositories (4)
concise-cheat-sheets
rudymatela/concise-cheat-sheets
TeX
Cheat Sheets for programming languages and tools
115
12
leancheck
rudymatela/leancheck
Haskell
enumerative property-based testing for Haskell
53
8
speculate
rudymatela/speculate
Haskell
Speculate laws about Haskell functions
30
0
extrapolate
rudymatela/extrapolate
Haskell
generalize counter-examples of property-based testing
13
0