hackage.haskell.org "unification" keyword
monad-unify 0.2.2
5 versions - Latest release: almost 12 years ago - 1 dependent package - 1 dependent repositories - 10 thousand downloads total - 1 maintainerunification-fd 0.12.0
Generic functions for single-sorted first-order structural unification (think of programming in P...16 versions - Latest release: over 1 year ago - 2 dependent packages - 34 dependent repositories - 11.2 thousand downloads total - 2 maintainers
hypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme3 versions - Latest release: over 2 years ago - 1 dependent repositories - 513 downloads total - 125 stars on GitHub - 1 maintainer
RSolve 2.0.0.0
A general solver for equations3 versions - Latest release: over 6 years ago - 1 dependent repositories - 1.77 thousand downloads total - 19 stars on GitHub - 1 maintainer
json-alt 1.0.0
Parsing JSON with Aeson often requires decoding fields that have more than one Haskell type. So ...1 version - Latest release: over 7 years ago - 3 dependent repositories - 1.26 thousand downloads total - 149 stars on GitHub - 1 maintainer
Top 8.7% on hackage.haskell.org
55 versions - Latest release: almost 6 years ago - 119 dependent repositories - 35.5 thousand downloads total - 149 stars on GitHub - 2 maintainers
json-autotype 3.1.2
Generates datatype declarations with Aeson''s 'Data.Aeson.FromJSON' instances from a set of exam...55 versions - Latest release: almost 6 years ago - 119 dependent repositories - 35.5 thousand downloads total - 149 stars on GitHub - 2 maintainers
Related Keywords
library
6
Propose Tags
6
bsd3
4
logic
3
haskell
2
hacktoberfest2019
2
hackage
2
elm
2
tools
2
data
2
inference
2
json
2
program
2
json-autotype
2
parse
2
parser
2
union
2
language
2
compilers-interpreters
2
algorithms
2
mit
2
type-provider
1
solvers
1
logic-programming
1
type-inference
1
type-checker
1
programming-languages
1
programming-language-development
1
algebra
1