Tools for transparent data transformation
-
Updated
Sep 8, 2023 - Clojure
#
unification
Here are 67 public repositories matching this topic...
Automatic Haskell type inference from JSON input
-
Updated
Sep 21, 2023 - Haskell
Group related classes together. No more silos. A solution to rails dystopia.
-
Updated
Dec 15, 2023 - Ruby
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking
-
Updated
Jun 8, 2022 - Rust
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism
-
Updated
Mar 9, 2018 - JavaScript
Straightforward unification in Python that's extensible via generic functions.
-
Updated
Sep 3, 2024 - Python
Logic programming, for Rust, from inside Rust.
-
Updated
Mar 6, 2020 - Rust
Template for Hindley-Milner based languages
-
Updated
Dec 7, 2021 - Haskell
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
simplification symbolic-regression unification lifelong-learning ai-physicist differentiable-divide-and-conquer
-
Updated
Feb 20, 2021 - Python
Logic Programming in Python
computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
-
Updated
Sep 28, 2021 - Python
All Lab experiments of 18CSC305J Artificial Intelligence.
resolution ai tic-tac-toe lab artificial-intelligence uncertainty game-theory srm alpha-beta-pruning fuzzy-logic dfs-algorithm unification bfs-algorithm a-star-algorithm best-first-search srm-university
-
Updated
Jun 4, 2021 - Jupyter Notebook
An OCaml library implementing unifiable abstract binding trees (UABTs)
-
Updated
Nov 11, 2023 - OCaml
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
-
Updated
Oct 6, 2018 - Clojure
Yet Another Efficient Unification Algorithm
-
Updated
Aug 14, 2024 - Go
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
-
Updated
Mar 1, 2023 - Python
A small logic programming language.
-
Updated
May 14, 2024 - Haskell
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
hpc logic mpi tbb unification mathematical-logic propositional-calculus formal-proofs proof-theory condensed-detachment proof-complexity hilbert-systems frege-systems
-
Updated
Dec 18, 2024 - C++
Rescuing the SOUL great logic meta programming language
-
Updated
Oct 7, 2018 - Smalltalk
-
Updated
Nov 5, 2020 - JavaScript
Improve this page
Add a description, image, and links to the unification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."