unification
There are 69 repositories under unification topic.
noprompt/meander
Tools for transparent data transformation
migamake/json-autotype
Automatic Haskell type inference from JSON input
NullVoxPopuli/drawers
Group related classes together. No more silos. A solution to rails dystopia.
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
dev-formata-io/stof
A smart, declarative runtime for data workflows
pythological/unification
Straightforward unification in Python that's extensible via generic functions.
sdleffler/whisper
Logic programming, for Rust, from inside Rust.
mbg/hindley-milner
Template for Hindley-Milner based languages
tailintalent/AI_physicist
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
brandonwillard/kanren-old
Logic Programming in Python
rm-hull/wam
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
shonfeder/um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
kuba--/ut
Yet Another Efficient Unification Algorithm
shushrutsharma/18CSC305J-AI
All Lab experiments of 18CSC305J Artificial Intelligence.
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
ekoontz/dag-unify
Unification of Directed Acyclic Graphs in Clojure
ptarau/pypro
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
lambduli/minilog
A small logic programming language.
Ducasse/SOUL
Rescuing the SOUL great logic meta programming language
robjsliwa/pyprolog
Prolog implemented in Python
uhop/deep6
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
wenkokke/FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
ezvezdov/Dataset-Wrapper
NuScenes, Lyft, Waymo and a2d2 datasets parser.
Keerthivasan13/CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
existence-master/Existence
The official repository of Existence
CryptoSolvers/CryptoSolve
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
frankshearar/AntiUnification
AntiUnification generalises from examples
qnighy/option-cell
OptionCell: OnceCell but derivable from Option
raven-os/albinos
Raven-OS configuration unification service and library.
vsraptor/bi
Bi: Symbolic system based on binary vector architecture
exasol/project-keeper
This maven plugin checks and unifies a project's structure according to the Exasol integration team's repository standards.
symcollab/CryptoSolve
Moved to https://github.com/CryptoSolvers/CryptoSolve
welopment/unification
Unification Algorithm in Dart.
Superstar64/boolean_unification
An implementation of Boolean Unification in Haskell