stevana / property-based-testing-stateful-systems-tutorial
A tutorial about how to apply property-based testing to stateful systems.
☆69Updated last year
Related projects ⓘ
Alternatives and complementary repositories for property-based-testing-stateful-systems-tutorial
- Haskell embedding of PlusCal☆61Updated 2 years ago
- ☆73Updated this week
- A structured concurrency library☆83Updated 4 months ago
- ☆47Updated 5 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Effects libraries in Haskell☆72Updated last year
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- 📊 Haskell dependencies build times profiler☆74Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A logical authorization system☆50Updated 2 years ago
- Source material for Certainty by Construction☆37Updated 10 months ago
- ☆36Updated 5 years ago
- Haskell bindings for the Souffle datalog language☆103Updated 6 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Compile Dhall expressions to Cabal files☆100Updated last year
- Compositional Representable Executable Machines☆108Updated 3 weeks ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- high-powered optics in a small package☆50Updated last month
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆82Updated 3 years ago
- Haskell bindings for the Slack web API☆32Updated 3 weeks ago
- A work stealing scheduler☆77Updated last year
- Find your open-soulmate <💜>☆75Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- A collection of Haskell's WATs☆89Updated 11 months ago