There are 1 repository under unification topic.
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
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Template for Hindley-Milner based languages
Straightforward unification in Python that's extensible via generic functions.
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
Logic Programming in Python
All Lab experiments of 18CSC305J Artificial Intelligence.
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
Programs developed for CSCI561 Foundations of Artificial Intelligence course
Implementation of McBride's "First-order unification by structural recursion" in Agda.
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Easy-to-use first order logic tools & Scala library
OptionCell: OnceCell but derivable from Option
This maven plugin checks and unifies a project's structure according to the Exasol integration team's repository standards.
The official repository for Existence
NuScenes, Lyft, Waymo and a2d2 datasets parser.
Libraries for term rewriting and narrowing in Curry
Moved to https://github.com/CryptoSolvers/CryptoSolve
Unification Algorithm in Dart.
(Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.
Tool for finding unifiers in the description logic EL