Projects in Awesome Lists tagged with unification-algorithm
A curated list of projects in awesome lists tagged with unification-algorithm .
https://github.com/kuba--/ut
Yet Another Efficient Unification Algorithm
logic-programming prolog unification unification-algorithm
Last synced: 12 Apr 2025
https://github.com/barrenszeppelin/pointer
Implementation of Steensgaard's pointer analysis for Go
call-graph-analysis callgraph go golang pointer-analysis unification-algorithm
Last synced: 23 Mar 2025
https://github.com/qnighy/option-cell
OptionCell: OnceCell but derivable from Option
rust rust-patterns unification unification-algorithm
Last synced: 21 Apr 2025
https://github.com/teodutu/ia
Inteligenta Artificiala - UPB 2020-2021
and-or-search branch-and-bound constraint-satisfaction-problem iterative-deepening-a-star learning-realtime-astar monte-carlo-tree-search unification-algorithm
Last synced: 25 Mar 2025
