unification

There are 1 repository under unification topic.

noprompt / meander
Tools for transparent data transformation
term-rewriting logic-programming unification pattern-matching substitution program-transformation
Language:Clojure 910
migamake / json-autotype
Automatic Haskell type inference from JSON input
haskell json hackage json-autotype inference unification parse elm union parser hacktoberfest2019
Language:Haskell 150
NullVoxPopuli / drawers
Group related classes together. No more silos. A solution to rails dystopia.
architecture rails silo drawer resource unification
Language:Ruby 148
brendanzab / rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types normalization-by-evaluation bidirectional-typechecking semantic-typechecking type-theory dependent-record-types dependent-records debruijn-indices type-system type-checker unification type-inference
Language:Rust 90
kongware / ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
functional-programming javascript currying composition combinators recursion higher-order-functions sum-types polymorphism lazy-evaluation tuples immutability parametric-polymorphism type-system purity tagged-unions scott-encoding row-polymorphism unification hindley-milner
Language:JavaScript 44
sdleffler / whisper
Logic programming, for Rust, from inside Rust.
backtracking-search dsl logic-programming rust rust-lang unification
Language:Rust 39
mbg / hindley-milner
Template for Hindley-Milner based languages
hindley-milner language type-inference types unification
Language:Haskell 37
pythological / unification
Straightforward unification in Python that's extensible via generic functions.
unification multiple-dispatch python logic-programming
Language:Python 37
brandonwillard / kanren-old
Logic Programming in Python
relational-reasoning relational-programming logic-programming minikanren unification computer-algebra sat-solver
Language:Python 30
shushrutsharma / 18CSC305J-AI
All Lab experiments of 18CSC305J Artificial Intelligence.
artificial-intelligence ai srm srm-university lab bfs-algorithm dfs-algorithm a-star-algorithm fuzzy-logic best-first-search resolution unification uncertainty game-theory tic-tac-toe alpha-beta-pruning
Language:Jupyter Notebook 30
tailintalent / AI_physicist
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
ai-physicist differentiable-divide-and-conquer lifelong-learning simplification symbolic-regression unification
Language:Python 30
shonfeder / um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
abt ocaml plt unification variables
Language:OCaml 27
kuba-- / ut
Yet Another Efficient Unification Algorithm
logic-programming prolog unification unification-algorithm
Language:Go 25
rm-hull / wam
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
clojure unification wam parser-combinators tutorial prolog-implementation
Language:Clojure 25
ptarau / pypro
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
nested-tuples tuple-mining unification python3 prolog interpreter
Language:Python 20
ekoontz / dag-unify
Unification of Directed Acyclic Graphs in Clojure
unification
Language:Clojure 18
lambduli / minilog
A small logic programming language.
language logic-programming programming-language prolog prolog-implementation repl unification
Language:Haskell 16
Ducasse / SOUL
Rescuing the SOUL great logic meta programming language
pharo logic-programming unification prolog
Language:Smalltalk 12
Keerthivasan13 / CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
unification game-playing minimax halma agent language python search bfs-algorithm uniform-cost-search astar-algorithm alpha-beta-pruning first-order-logic backward-chaining unification-algorithm resolution-algorithm
Language:Python 9
dmytri / terminusdb-todoapp
terminusdb triples todomvc rdf owl javascript svelte unification
Language:JavaScript 8
wenkokke / FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
library first-order-unification unification
Language:Agda 8
uhop / deep6
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
deep-equal deep-equals unification
Language:JavaScript 7
CryptoSolvers / CryptoSolve
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
automated-reasoning cryptography term-rewriting unification
Language:Python 5
maxadamski / illogical
Easy-to-use first order logic tools & Scala library
first-order-logic logic resolution skolem-function unification
Language:Scala 5
robjsliwa / pyprolog
Prolog implemented in Python
python prolog prolog-interpreter interpreter unification
Language:Python 5
ezvezdov / Dataset-Wrapper
NuScenes, Lyft, Waymo and a2d2 datasets parser.
a2d2 data-transformation dataset lidar lyft nuscenes python self-driving-car unification waymo
Language:Python 4
qnighy / option-cell
OptionCell: OnceCell but derivable from Option
rust rust-patterns unification unification-algorithm
Language:Rust 4
raven-os / albinos
Raven-OS configuration unification service and library.
albinos raven-os raven configuration config library service unification linux unix systemd
Language:C++ 4
vsraptor / bi
Bi: Symbolic system based on binary vector architecture
binary prolog python sdp symbols unification vsa
Language:Python 4
exasol / project-keeper
This maven plugin checks and unifies a project's structure according to the Exasol integration team's repository standards.
technical-project-management maven maven-plugin unification exasol-integration validator
Language:Java 3
matthesjh / rewriting-curry
Libraries for term rewriting and narrowing in Curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
3
symcollab / CryptoSolve
Moved to https://github.com/CryptoSolvers/CryptoSolve
automated-reasoning crypto cryptography unification term-rewriting
Language:Python 3
welopment / unification
Unification Algorithm in Dart.
unification logic algorithm pattern-matching dart flutter flutter-package
Language:Dart 3
AbelCheng / View-plug-ins
(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.
data-model code-generation classification batch-processing etl hub-view induction interface-oriented inversion-of-control isolation labeling metadata meta-tables plugin rules-engine simplify view-plug-ins version-control unification oracle
Language:PLSQL 2
frankshearar / AntiUnification
AntiUnification generalises from examples
unification f-sharp
Language:F# 2
julianmendez / uel
Tool for finding unifiers in the description logic EL
java unification owl-api protege-plugin visual-interface tu-dresden
Language:Java 2