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

Yet Another Efficient Unification Algorithm

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

An OCaml library implementing unifiable abstract binding trees (UABTs)

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

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

Prolog implemented in Python

Rescuing the SOUL great logic meta programming language

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

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.