Tools for transparent data transformation
-
Updated
Sep 8, 2023 - Clojure
Tools for transparent data transformation
Automatic Haskell type inference from JSON input
Group related classes together. No more silos. A solution to rails dystopia.
Normalization by evaluation for Martin-Löf Type Theory with dependent records
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Logic programming, for Rust, from inside Rust.
Straightforward unification in Python that's extensible via generic functions.
Template for Hindley-Milner based languages
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
Logic Programming in Python
All Lab experiments of 18CSC305J Artificial Intelligence.
An OCaml library implementing unifiable abstract binding trees (UABTs)
Yet Another Efficient Unification Algorithm
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
A small logic programming language.
Rescuing the SOUL great logic meta programming language
Programs developed for CSCI561 Foundations of Artificial Intelligence course
Add a description, image, and links to the unification topic page so that developers can more easily learn about it.
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."