git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Unification / Repositories.md
master

Tree @master (Download .tar.gz)

Repositories.md @master — view markup · raw · history · blame

Unification Repos

mrocklin/unification

  • url: https://github.com/mrocklin/unification
  • license: BSD-3-Clause
  • topics: Unification, Python

.

parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell

  • url: https://github.com/parsonsmatt/unification
  • license: BSD-3-Clause
  • topics: Unification, Haskell

.

jozefg/higher-order-unification: A small implementation of higher-order unification

  • url: https://github.com/jozefg/higher-order-unification
  • license: MIT
  • topics: Unification, Haskell

.