Alternatives and similar repositories for haskell-via-sokoban

Users that are interested in haskell-via-sokoban are comparing it to the libraries listed below

• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆45Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 2 months ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆61Updated 2 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated last week
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆103Updated this week
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆71Updated 2 months ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 11 years ago
• kowainik / eio
  🎯 IO with Exceptions tracked on the type-level
  ☆58Updated 4 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago
• serokell / xrefcheck
  Check cross-references in repository documents
  ☆55Updated 8 months ago
• symphony-org / frost
  Frost
  ☆19Updated 5 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated 2 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 8 months ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆67Updated 4 years ago
• kowainik / colourista
  ‎️‍🌈 Convenient interface for printing colourful messages
  ☆71Updated last week
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆90Updated 5 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 4 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated last year
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 10 months ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• haskellfoundation / HaskellSchool
  ☆51Updated 3 years ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated 2 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• snoyberg / why-you-should-use-stm
  ☆44Updated 6 years ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆73Updated last year
• AJChapman / co-log-polysemy-formatting
  A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.
  ☆12Updated 4 years ago