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
  ☆43Updated last year
• juhp / stack-clean-old
  Tool for cleaning away old Haskell Stack build artifacts
  ☆37Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated last year
• serokell / xrefcheck
  Check cross-references in repository documents
  ☆56Updated 3 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 10 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆51Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 9 months ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years 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
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 2 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 3 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated last month
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated 2 years ago
• nomeata / haskell-on-fastly
  Experiments about running Haskell via WebAssembly on Fastly
  ☆40Updated 2 years ago
• kowainik / eio
  🎯 IO with Exceptions tracked on the type-level
  ☆58Updated 4 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 3 weeks ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆87Updated last month
• tomjaguarpaw / tilapia
  Improving all Haskell's programmer interfaces
  ☆74Updated 5 months ago
• tomjaguarpaw / Arrows2
  Ideas for the next generation of Haskell's Arrow notation
  ☆12Updated 5 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 4 months ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆69Updated 6 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆37Updated 2 years ago