unification

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.

Embeddable Prolog-style logic engine for JavaScript: declarative rules, unification, backtracking search, and four solver drivers (sync/async × callback/generator). Useful for pattern matching with extraction, constraint search, type inference, planners, expert systems, and policy checks. ESM, single runtime dependency (deep6).

This repository contains material that supports my presentation about how the luminiferous aether produces the fundamental constants of physics and unifies gravity with the other fundamental forces.

⒯ TypeForge: Hindley-Milner type inference (Algorithm W) for a tiny ML-flavoured language — union-find types, let-polymorphism, occurs check, derivation-trail replay. Zero dependencies.

Platform for Inter-departmental cooperation (at city level) in Indian Cities, for sharing data & resources, unified phasing, planning and implementation of projects.

Computes border of unification of multiple rectangles

⟨⟩ A miniature Prolog: Robinson unification with occurs check, generator-based backtracking, frame-scoped cut, first-argument indexing and a raw search trace. Zero dependencies.

UniChat é uma aplicação de chat simples que possui a proposta de conversação em tempo real entre falantes de idiomas diferentes.