unification

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

kongware/ftor

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

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

shushrutsharma/18CSC305J-AI

All Lab experiments of 18CSC305J Artificial Intelligence.

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

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.

xamidi/pmGenerator

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

Ducasse/SOUL

Rescuing the SOUL great logic meta programming language

dmytri/terminusdb-todoapp

Keerthivasan13/CSCI561_Artificial_Intelligence

Programs developed for CSCI561 Foundations of Artificial Intelligence course

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.

robjsliwa/pyprolog

Prolog implemented in Python

CryptoSolvers/CryptoSolve

Generate and Verify Cryptographic Modes of Operation using Symbolic Methods

maxadamski/illogical

Easy-to-use first order logic tools & Scala library

existence-master/Existence

The official repository for Existence

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.

ezvezdov/Dataset-Wrapper

NuScenes, Lyft, Waymo and a2d2 datasets parser.

frankshearar/AntiUnification

AntiUnification generalises from examples

matthesjh/rewriting-curry

Libraries for term rewriting and narrowing in Curry

symcollab/CryptoSolve

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

welopment/unification

Unification Algorithm in Dart.