Alternatives and similar repositories for kernmantle

Users that are interested in kernmantle are comparing it to the libraries listed below

• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆66Updated 4 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated last month
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated last week
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 3 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 8 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• lehins / scheduler
  A work stealing scheduler
  ☆74Updated 5 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 4 months ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago
• jcpetruzza / barbies
  ☆93Updated last year
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆69Updated 6 months ago
• kowainik / shellmet
  🐚 Out of the shell solution for scripting in Haskell
  ☆73Updated 8 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• ArturGajowy / ghc-clippy-plugin
  A helpful companion to GHC. Overrides GHC messages, to the user's liking.
  ☆33Updated 5 years ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated this week
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆77Updated 2 years ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated last year
• ChrisPenner / json-to-haskell
  In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.
  ☆81Updated 4 years ago