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
  ☆44Updated last year
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated last week
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 10 months ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 5 months ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆70Updated last year
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 2 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 2 months ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated last month
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 10 months ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆88Updated 2 months ago
• haskell / cabal-cache
  CI assistant
  ☆47Updated 2 months ago
• inanna-malick / mononoke
  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
• haskellfoundation / HaskellSchool
  ☆51Updated 3 years ago
• kowainik / eio
  🎯 IO with Exceptions tracked on the type-level
  ☆58Updated 4 years ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆58Updated last month
• coot / free-category
  Free categories, free arrows and free categories with monadic actions
  ☆24Updated 5 months ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• symphony-org / frost
  Frost
  ☆19Updated 5 years ago
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 11 years ago
• juhp / stack-clean-old
  Tool for cleaning away old Haskell Stack build artifacts
  ☆37Updated last year
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆131Updated last week