Alternatives and similar repositories for property-based-testing-stateful-systems-tutorial:

Users that are interested in property-based-testing-stateful-systems-tutorial are comparing it to the libraries listed below

• marcosh / crem
  Compositional Representable Executable Machines
  ☆109Updated last month
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated last week
• tdietert / types-as-specifications
  ☆48Updated 5 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• tomjaguarpaw / bluefin
  ☆80Updated this week
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆39Updated last year
• haskellfoundation / matchmaker
  Find your open-soulmate <💜>
  ☆74Updated 3 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 2 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 4 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆82Updated last year
• snoyberg / why-you-should-use-stm
  ☆40Updated 5 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆79Updated 4 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• rkaippully / webgear
  Moved to https://github.com/haskell-webgear/webgear
  ☆38Updated 3 years ago
• masaeedu / reading
  ☆31Updated 2 years ago
• stevana / hot-swapping-state-machines
  An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
  ☆17Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago