شركة تمثل قناه لتفريغ جهود محترفين لاعداد تصورات مبدئيه لخصوص تاطيير نظم بشريه اساسيه جديده

A unification implementation for JSON.

Libraries for term rewriting and narrowing in Curry

First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3

Implemention of common resolution refutation strategies

Implementing and combining various type systems with principal type schemes

C++ builder for error messages

Moved to https://github.com/CryptoSolvers/CryptoSolve

Server for NLP libraries unification

Unification Algorithm in Dart.

Simple term unification in Scala

No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.

Robinson's Unification Algorithm of First Order Logic Terms

Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"

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

OptionCell: OnceCell but derivable from Option

Constraints Reactor -- implementation of CHR semantics with support for terms and unification

Type checking, type inference, Church, Curry, polymorphe types, Unification theory, ... All type theory related