Alternatives and similar repositories for backtracking:

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

• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated 2 weeks ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 2 years ago
• fpco / optparse-simple
  Simple helper functions to work with optparse-applicative
  ☆29Updated 3 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last month
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 8 months ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 3 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated last month
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 4 months ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆17Updated 3 months ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• NCrashed / aeson-injector
  Haskell library for injecting fields into aeson values
  ☆13Updated 2 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆28Updated 2 months ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 3 weeks ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• ua-parser / uap-haskell
  Haskell implementation of ua-parser
  ☆12Updated 2 years ago
• typeclasses / partial-semigroup
  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
  ☆13Updated 3 months ago
• factisresearch / opensource
  Haskell: Monorepo for our open source packages
  ☆17Updated 7 years ago