Projects in Awesome Lists tagged with unification
A curated list of projects in awesome lists tagged with unification .
https://github.com/noprompt/meander
Tools for transparent data transformation
logic-programming pattern-matching program-transformation substitution term-rewriting unification
Last synced: 14 Apr 2025
https://github.com/migamake/json-autotype
Automatic Haskell type inference from JSON input
elm hackage hacktoberfest2019 haskell inference json json-autotype parse parser unification union
Last synced: 12 May 2025
https://github.com/nullvoxpopuli/drawers
Group related classes together. No more silos. A solution to rails dystopia.
architecture drawer rails resource silo unification
Last synced: 06 Apr 2025
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 08 Sep 2025
https://github.com/dev-formata-io/stof
Stof is a data interchange format that unifies data between systems. It offers fine-grained control and sandboxed manipulation without the need for additional application code and servers.
code-as-data federated formata interchange-format json orchestration stof unification validation yaml
Last synced: 06 Apr 2025
https://github.com/sdleffler/whisper
Logic programming, for Rust, from inside Rust.
backtracking-search dsl logic-programming rust rust-lang unification
Last synced: 14 Jul 2025
https://github.com/mbg/hindley-milner
Template for Hindley-Milner based languages
hindley-milner language type-inference types unification
Last synced: 30 Apr 2025
https://github.com/shonfeder/um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
abt ocaml plt unification variables
Last synced: 11 Jun 2025
https://github.com/kuba--/ut
Yet Another Efficient Unification Algorithm
logic-programming prolog unification unification-algorithm
Last synced: 12 Apr 2025
https://github.com/rm-hull/wam
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
clojure parser-combinators prolog-implementation tutorial unification wam
Last synced: 23 Apr 2025
https://github.com/lambduli/minilog
A small logic programming language.
language logic-programming programming-language prolog prolog-implementation repl unification
Last synced: 10 Jul 2025
https://github.com/ducasse/soul
Rescuing the SOUL great logic meta programming language
logic-programming pharo prolog unification
Last synced: 17 Mar 2025
https://github.com/robjsliwa/pyprolog
Prolog implemented in Python
interpreter prolog prolog-interpreter python unification
Last synced: 14 Jul 2025
https://github.com/wenkokke/firstorderunificationinagda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
first-order-unification library unification
Last synced: 11 Feb 2026
https://github.com/uhop/deep6
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
deep-equal deep-equals unification
Last synced: 15 Apr 2025
https://github.com/existence-master/existence
The official repository of Existence
existence life philosophy reality science technology unification universe
Last synced: 03 Mar 2026
https://github.com/ezvezdov/dataset-wrapper
NuScenes, Lyft, Waymo and a2d2 datasets parser.
a2d2 data-transformation dataset lidar lyft nuscenes python self-driving-car unification waymo
Last synced: 07 May 2025
https://github.com/qnighy/option-cell
OptionCell: OnceCell but derivable from Option
rust rust-patterns unification unification-algorithm
Last synced: 21 Apr 2025
https://github.com/exasol/project-keeper
This maven plugin checks and unifies a project's structure according to the Exasol integration team's repository standards.
exasol-integration maven maven-plugin technical-project-management unification validator
Last synced: 16 Feb 2026
https://github.com/welopment/unification
Unification Algorithm in Dart.
algorithm dart flutter flutter-package logic pattern-matching unification
Last synced: 05 Mar 2026
https://github.com/matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
Last synced: 18 Mar 2026
https://github.com/frankshearar/antiunification
AntiUnification generalises from examples
Last synced: 10 Oct 2025
https://github.com/dev-formata-io/stof-weave
Simple, composable AI workflows in a single declarative Stof file.
ai prompt stof unification workflow
Last synced: 19 Feb 2026
https://github.com/exasol/error-code-crawler-maven-plugin
Validator and crawler for exasol-error-codes in Java code
catalog crawler error-handling error-report error-reporting exasol exasol-integration java unification
Last synced: 13 Oct 2025
https://github.com/julianmendez/uel
Tool for finding unifiers in the description logic EL
java owl-api protege-plugin tu-dresden unification visual-interface
Last synced: 06 Mar 2026
https://github.com/exasol/error-reporting-cpp
C++ builder for error messages
cpp error-handling error-reporting exasol-integration foundation-library unification
Last synced: 15 Jun 2025
https://github.com/robertkleffner/inference-playground
Implementing and combining various type systems with principal type schemes
abelian-groups type-inference unification units-of-measure
Last synced: 27 Jan 2026
https://github.com/exasol/error-reporting-java
Java builder for error messages
error-handling error-reporting exasol-integration foundation-library java unification
Last synced: 07 Jun 2026
https://github.com/ray-kast/AbsoluteUnity
Think Prolog, but less capable.
declarative-language unification
Last synced: 09 May 2025
https://github.com/tom-weatherhead/katalog
A small Prolog interpreter
backtracking cut interpreter logic-programming prolog prolog-interpreter unification
Last synced: 15 Sep 2025
https://github.com/nimittxo/crystallize
An Automated Lead Management and CRM do star It If you like It.
ai backend backend-api classification crm flask lead-manage lead-scoring python random-forest react reactjs unification
Last synced: 13 Apr 2026
