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.

Straightforward unification in Python that's extensible via generic functions.

Logic programming, for Rust, from inside Rust.

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

An OCaml library implementing unifiable abstract binding trees (UABTs)

All Lab experiments of 18CSC305J Artificial Intelligence.

Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction

Yet Another Efficient Unification Algorithm

Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python

Unification of Directed Acyclic Graphs in Clojure

A small logic programming language.

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

Rescuing the SOUL great logic meta programming language