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☆60Updated 2 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Haskell bindings for the Souffle datalog language☆103Updated 5 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- todo and unimplemented, robustly implemented☆33Updated 2 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ☆66Updated last week
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A structured concurrency library☆83Updated 3 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 2 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Effects libraries in Haskell☆72Updated last year
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- The category theory by example book☆57Updated last year
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- ☆47Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- high-powered optics in a small package☆50Updated last month
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- ☆92Updated 7 months ago
- ☆43Updated last year
- A logical authorization system☆50Updated 2 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago