unification

Tools for transparent data transformation

Automatic Haskell type inference from JSON input

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

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

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

Logic programming, for Rust, from inside Rust.

Template for Hindley-Milner based languages

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

Logic Programming in Python

An OCaml library implementing unifiable abstract binding trees (UABTs)

Yet Another Efficient Unification Algorithm

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

All Lab experiments of 18CSC305J Artificial Intelligence.

Unification of Directed Acyclic Graphs in Clojure

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

Rescuing the SOUL great logic meta programming language

Prolog implemented in 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.

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

NuScenes, Lyft, Waymo and a2d2 datasets parser.