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
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated this week
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated last month
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆32Updated 2 weeks ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated 2 years ago
• lehins / scheduler
  A work stealing scheduler
  ☆74Updated 8 months ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 6 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆71Updated this week
• freckle / stack-action
  GitHub Action to build, test, and lint Stack-based Haskell projects
  ☆22Updated this week
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆59Updated 3 months ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated last month
• juhp / stack-clean-old
  Tool for cleaning away old Haskell Stack build artifacts
  ☆37Updated last year
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆134Updated last week
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated last month
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆50Updated 5 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆69Updated 8 months ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 8 months ago