Pinned Repositories
concise-cheat-sheets
Cheat Sheets for programming languages and tools
conjure
Produce Haskell functions out of partial definitions
evenmoreutils
A collection of command line tools to extend the shell environment.
express
Dynamically-typed Haskell expressions involving applications and variables.
extrapolate
generalize counter-examples of property-based testing
fitspec
refine properties for testing Haskell programs
leancheck
enumerative property-based testing for Haskell
speculate
Speculate laws about Haskell functions
tankode
A programming action game.
udge
An online judge for programming problems
rudymatela's Repositories
rudymatela/concise-cheat-sheets
Cheat Sheets for programming languages and tools
rudymatela/evenmoreutils
A collection of command line tools to extend the shell environment.
rudymatela/fitspec
refine properties for testing Haskell programs
rudymatela/leancheck
enumerative property-based testing for Haskell
rudymatela/speculate
Speculate laws about Haskell functions
rudymatela/express
Dynamically-typed Haskell expressions involving applications and variables.
rudymatela/tankode
A programming action game.
rudymatela/extrapolate
generalize counter-examples of property-based testing
rudymatela/conjure
Produce Haskell functions out of partial definitions
rudymatela/udge
An online judge for programming problems
rudymatela/hello-haskell
Hello World! (in Haskell)
rudymatela/hspec-leancheck
LeanCheck support for the Hspec test framework.
rudymatela/leancheck-instances
Common LeanCheck instances
rudymatela/percent-format
simple printf-style string formatting for Haskell
rudymatela/tasty-leancheck
LeanCheck support for the Tasty test framework (Haskell)
rudymatela/test-framework-leancheck
LeanCheck support for test-framework.
rudymatela/cscx
Exercises of cscx.org
rudymatela/cscx-sums
rudymatela/dotenv-hs
Load environment variables from dotenv files for Haskell
rudymatela/hello-c
A simple hello world program in C
rudymatela/hello-py
A simple Hello World program in Python
rudymatela/hoff
A gatekeeper for your commits
rudymatela/kudzu
coverage driven random testing framework
rudymatela/lang-refcards
Reference Cards for (Human) Languages
rudymatela/python-leancheck
rudymatela/rudymatela.github.io
My Github page.
rudymatela/sandbox
My sandbox
rudymatela/stackage
"Stable Hackage": vetted consistent packages from Hackage
rudymatela/textemplate
LaTeX document template
rudymatela/vinyl-wall-mount
A simple 3d printable Vinyl Wall Mount