Tools for transparent data transformation

pattern-matching logic-programming substitution unification term-rewriting program-transformation

• Updated Sep 8, 2023
• Clojure

Automatic Haskell type inference from JSON input

parser json haskell parse elm inference hackage union unification json-autotype hacktoberfest2019

• Updated Sep 21, 2023
• Haskell

Group related classes together. No more silos. A solution to rails dystopia.

rails resource drawer architecture unification silo

• Updated Dec 15, 2023
• Ruby

Normalization by evaluation for Martin-Löf Type Theory with dependent records

rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking

• Updated Jun 8, 2022
• Rust

Straightforward unification in Python that's extensible via generic functions.

python logic-programming unification multiple-dispatch

• Updated Feb 25, 2026
• Python

Logic programming, for Rust, from inside Rust.

rust dsl rust-lang logic-programming backtracking-search unification

• Updated Mar 6, 2020
• Rust

Template for Hindley-Milner based languages

language types hindley-milner type-inference unification

• Updated Dec 7, 2021
• Haskell

AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)

simplification symbolic-regression unification lifelong-learning ai-physicist differentiable-divide-and-conquer

• Updated Feb 20, 2021
• Python

Logic Programming in Python

computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming

• Updated Sep 28, 2021
• Python

An OCaml library implementing unifiable abstract binding trees (UABTs)

ocaml abt variables unification plt

• Updated Apr 25, 2026
• OCaml

Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

clojure tutorial parser-combinators prolog-implementation unification wam

• Updated Oct 6, 2018
• Clojure

Yet Another Efficient Unification Algorithm

prolog logic-programming unification unification-algorithm

• Updated Oct 10, 2025
• Go

All Lab experiments of 18CSC305J Artificial Intelligence.

resolution ai tic-tac-toe lab artificial-intelligence uncertainty game-theory srm alpha-beta-pruning fuzzy-logic dfs-algorithm unification bfs-algorithm a-star-algorithm best-first-search srm-university

• Updated Jun 4, 2021
• Jupyter Notebook

Unification of Directed Acyclic Graphs in Clojure

unification

• Updated Oct 15, 2026
• Clojure

Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python

interpreter prolog python3 unification nested-tuples tuple-mining

• Updated Mar 1, 2023
• Python

Rescuing the SOUL great logic meta programming language

prolog pharo logic-programming unification

• Updated Oct 7, 2018
• Smalltalk

Prolog implemented in Python

python interpreter prolog prolog-interpreter unification

• Updated Sep 6, 2024
• Python

Zero-dependency ESM library for deep equality, deep clone, unification, and pattern matching with logical variables and wildcards. Handles circular references, Map, Set, URL, typed arrays, Date, RegExp, symbols, and property descriptors. Works in Node.js, Deno, Bun, and browsers.

map set typescript isomorphic pattern-matching symbols wildcard esm structured-clone traverse unification walk typed-arrays deep-clone deep-copy circular-references zero-dependencies deep-equal logical-variables deep-equality

• Updated Nov 7, 2026
• JavaScript

Implementation of McBride's "First-order unification by structural recursion" in Agda.

library unification first-order-unification

• Updated Oct 8, 2018
• Agda

javascript rdf svelte owl todomvc triples unification terminusdb

• Updated Nov 5, 2020
• JavaScript