Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "unification" keyword

hypertypes 0.2.2 💰
Please see the README on GitHub at https://github.com/lamdu/hypertypes#readme
3 versions - Latest release: 10 months ago - 1 dependent repositories - 367 downloads total - 106 stars on GitHub - 1 maintainer
monad-unify 0.2.2
5 versions - Latest release: about 10 years ago - 1 dependent package - 1 dependent repositories - 9.78 thousand downloads total - 1 maintainer
Top 8.7% on hackage.haskell.org
json-autotype 3.1.2
Generates datatype declarations with Aeson''s 'Data.Aeson.FromJSON' instances from a set of exam...
55 versions - Latest release: about 4 years ago - 119 dependent repositories - 33.8 thousand downloads total - 150 stars on GitHub - 2 maintainers
unification-fd 0.11.2
Generic functions for single-sorted first-order structural unification (think of programming in P...
11 versions - Latest release: almost 2 years ago - 2 dependent packages - 34 dependent repositories - 10.3 thousand downloads total - 2 maintainers
RSolve 2.0.0.0
A general solver for equations
3 versions - Latest release: almost 5 years ago - 1 dependent repositories - 1.61 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 5 years ago - 3 dependent repositories - 1.19 thousand downloads total - 150 stars on GitHub - 1 maintainer
Related Keywords
library 6 bsd3 4 logic 3 parse 2 json-autotype 2 json 2 inference 2 haskell 2 hacktoberfest2019 2 hackage 2 elm 2 parser 2 tools 2 program 2 data 2 mit 2 union 2 language 2 compilers-interpreters 2 algorithms 2 algebra 1 logic-programming 1 solvers 1 type-provider 1 type-inference 1 type-checker 1 programming-languages 1 programming-language-development 1