Packages tagged unification
4 packages have this tag.
[Merge tag] (trustees only)Related tags: library (4), logic (3), algorithms (2), bsd3 (2), compilers-interpreters (2), language (2), mit (2), algebra (1), program (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| RSolve | 12 | 2.0 | 0 | (library, logic, mit, program, unification) | 2019-08-05 | 2.0.0.0 | ice1000 | |
| hypertypes | 13 | 0.0 | 0 | Typed ASTs | (algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2023-07-25 | 0.2.2 | YairChuchem |
| monad-unify | 20 | 0.0 | 2 | Generic first-order unification | (library, mit, unification) | 2014-04-15 | 0.2.2 | PhilFreeman |
| unification-fd | 76 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2024-08-28 | 0.11.2.2 | WrenThornton, WrenRomano |