Data

Tools

Indexes

Applications

Experiments

Packages

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

proxy.golang.org "unification-algorithm" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "unification-algorithm" keyword.

Top 7.0% on proxy.golang.org
github.com/kuba--/ut v0.1.0
Package ut implements "Yet Another Efficient Unification Algorithm" by Alin Suciu (https://arxiv....
1 version - Latest release: over 7 years ago - 22 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/BarrensZeppelin/pointer v0.2.4
Package pointer provides a Go adaptation of Steensgaard's pointer analysis algorithm.
6 versions - Latest release: over 2 years ago - 1 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/barrenszeppelin/pointer v0.2.4
Implementation of Steensgaard's pointer analysis for Go
6 versions - Latest release: over 2 years ago - 0 stars on GitHub
Related Keywords
go 2 golang 2 pointer-analysis 2 logic-programming 1 prolog 1 unification 1 call-graph-analysis 1 callgraph 1