Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "backtracking" keyword
Top 5.1% on hackage.haskell.org
22 versions - Latest release: almost 13 years ago - 16 dependent packages - 223 dependent repositories - 67.6 thousand downloads total - 78 stars on GitHub - 2 maintainers
logict 0.5.0
Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kis...22 versions - Latest release: almost 13 years ago - 16 dependent packages - 223 dependent repositories - 67.6 thousand downloads total - 78 stars on GitHub - 2 maintainers
holmes 0.3.2.0
A reference library for constraint-solving with propagators and CDCL.6 versions - Latest release: over 3 years ago - 1 dependent repositories - 1.31 thousand downloads total - 297 stars on GitHub - 1 maintainer
Top 9.4% on hackage.haskell.org
28 versions - Latest release: almost 5 years ago - 22 dependent repositories - 19.1 thousand downloads total - 630 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: almost 5 years ago - 22 dependent repositories - 19.1 thousand downloads total - 630 stars on GitHub - 2 maintainers
mini-egison 1.0.0
This package provides the pattern-matching facility that fulfills the following three criteria fo...8 versions - Latest release: about 4 years ago - 3 dependent repositories - 3.01 thousand downloads total - 31 stars on GitHub - 2 maintainers
sweet-egison 0.1.1.3
The sweet-egison is a shallow embedding implementation of non-linear pattern matching with extens...7 versions - Latest release: over 3 years ago - 1 dependent repositories - 1.32 thousand downloads total - 17 stars on GitHub - 3 maintainers
Related Keywords
library
5
control
3
haskell
3
mit
3
pattern-matching
2
non-linear-pattern
2
egison
2
pattern
2
data
2
logic-programming
2
bsd3
2
constraint-solver
1
propagation
1
concurrency
1
composability
1
composition
1
distributed-computing
1
events
1
threading
1
transaction
1
web
1
monad-transformers
1
program
1
logict
1