qfpl / state-machine-testing-courseLinks
Course for learning how to apply property-based state-machine testing
☆62Updated 6 years ago
Alternatives and similar repositories for state-machine-testing-course
Users that are interested in state-machine-testing-course are comparing it to the libraries listed below
Sorting:
- ☆93Updated last year
- ☆50Updated 5 years ago
- Check properties on standard classes and data structures☆80Updated 3 weeks ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 7 years ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated last year
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- First-class type families☆89Updated 2 weeks ago
- Nix builds of Haskell Language Server☆47Updated last year
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- Example-based Haskell Documentation Engine☆59Updated 6 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆55Updated 4 months ago
- Haskell Webapps on AWS Lambda☆44Updated 2 years ago
- ☆89Updated last year
- ☆99Updated 3 months ago
- Notes on space leaks☆102Updated 5 years ago
- A collection of Haskell's WATs☆94Updated 9 months ago
- ☆29Updated 6 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated 4 months ago
- Stream editing with Haskell Megaparsec parsers☆81Updated last year
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- JSON decoding/encoding/manipulation library.☆93Updated 3 years ago
- JavaScript interface that works with GHCJS or GHC☆129Updated last month
- Easily consume JSON data on-demand with type-safety☆60Updated 7 months ago