hackage.haskell.org "backtracking" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "backtracking" keyword.
mini-egison 1.0.0
This package provides the pattern-matching facility that fulfills the following three criteria fo...8 versions - Latest release: almost 6 years ago - 3 dependent repositories - 3.34 thousand downloads total - 33 stars on GitHub - 2 maintainers
Top 5.1% on hackage.haskell.org
23 versions - Latest release: over 14 years ago - 16 dependent packages - 223 dependent repositories - 72.1 thousand downloads total - 85 stars on GitHub - 2 maintainers
logict 0.5.0
Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kis...23 versions - Latest release: over 14 years ago - 16 dependent packages - 223 dependent repositories - 72.1 thousand downloads total - 85 stars on GitHub - 2 maintainers
sweet-egison 0.1.2.1
The sweet-egison is a shallow embedding implementation of non-linear pattern matching with extens...9 versions - Latest release: about 2 months ago - 1 dependent repositories - 1.68 thousand downloads total - 17 stars on GitHub - 3 maintainers
holmes 0.3.2.0
A reference library for constraint-solving with propagators and CDCL.6 versions - Latest release: about 5 years ago - 1 dependent repositories - 1.52 thousand downloads total - 306 stars on GitHub - 1 maintainer
Top 9.4% on hackage.haskell.org
28 versions - Latest release: over 6 years ago - 22 dependent repositories - 20.2 thousand downloads total - 634 stars on GitHub - 2 maintainers
transient 0.6.3
See http://github.com/agocorona/transient Distributed primitives are in the transient-universe pa...28 versions - Latest release: over 6 years ago - 22 dependent repositories - 20.2 thousand downloads total - 634 stars on GitHub - 2 maintainers
Related Keywords
library
5
Propose Tags
5
mit
3
control
3
haskell
3
logic-programming
2
bsd3
2
pattern-matching
2
non-linear-pattern
2
egison
2
pattern
2
data
2
web
1
transaction
1
threading
1
events
1
distributed-computing
1
composition
1
composability
1
concurrency
1
propagation
1
constraint-solver
1
monad-transformers
1
logict
1
program
1