Alternatives and similar repositories for backtracking:

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

• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 10 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 months ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 months ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 6 years ago
• nikita-volkov / vector-builder
  Vector builder
  ☆15Updated 2 months ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• fpco / optparse-simple
  Simple helper functions to work with optparse-applicative
  ☆29Updated 3 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 6 months ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Updated 2 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• ranjitjhala / haddock-annot
  Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.
  ☆12Updated 9 years ago