advancedtelematic/quickcheck-state-machine
Test monadic programs using state machine based models
HaskellNOASSERTION
Stargazers
- adinapoliWell-Typed LLP
- agrafix@stripe
- akhileshsSan Francisco, CA
- apburkeAustin, Texas
- brunjlarInput Output Hong Kong
- bts@dropbox
- cem2ran@lenus-ehealth
- chshershBloomberg
- chwthewke
- cloudheadRadicle
- cotroneRedmond, WA
- csabahruskaLondon
- fghibelliniBerlin, Germany
- homamAmsterdam, Netherlands
- j-mueller@avatar-engines
- jacobstanley@hedgehogqa
- jfischofffal.ai
- justanotherdot@heydovetail
- korolrAsatana
- lgastakoFrancon & Heyer
- ligurio
- maikfGermany
- metric-space@arcee-ai
- moodmosaic@hedgehogqa
- ndcroos
- ocramz@unfoldml
- philipcraigLondon, United Kingdom
- progerSupercomputer City
- rdanitzTibber
- SoftsapiensBarcelona
- vaibhavsagargadigal land/sydney
- valpackettArgentina ⭐⭐⭐
- wangwangwarChengdu
- wraithm@bitnomial
- xiaolzha
- yanokZurich, Switzerland