Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Unification Open Source Projects

Open source projects categorized as Unification
Categories > Unification
Meander ⭐ 868
Tools for transparent data transformation
total releases 63most recent commit a year ago
Json Autotype ⭐ 150
Automatic Haskell type inference from JSON input
total releases 55most recent commit 7 months ago
Drawers ⭐ 148
Group related classes together. No more silos. A solution to rails dystopia.
total releases 12most recent commit 4 years ago
Rust Nbe For Mltt ⭐ 78
Normalization by evaluation for Martin-Löf Type Theory with dependent records
most recent commit 2 years ago
Ftor ⭐ 43
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
most recent commit 6 years ago
Hindley Milner ⭐ 28
Template for Hindley-Milner based languages
most recent commit 2 years ago
Um Abt ⭐ 26
An OCaml library implementing unifiable abstract binding trees (UABTs)
most recent commit 6 months ago
Ut ⭐ 24
Yet Another Efficient Unification Algorithm
total releases 2most recent commit 8 months ago
Unification ⭐ 19
Straightforward unification in Python that's extensible via generic functions.
most recent commit 2 years ago
Pypro ⭐ 17
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
most recent commit a year ago
Dag Unify ⭐ 17
Unification of Directed Acyclic Graphs in Clojure
total releases 42most recent commit a year ago
Wam ⭐ 16
Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
most recent commit 6 years ago
Ai_physicist ⭐ 15
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
most recent commit 3 years ago
Minilog ⭐ 14
A small relational (logic) programming language.
most recent commit 5 months ago
Whisper ⭐ 13
Logic programming, for Rust, from inside Rust.
most recent commit 4 years ago
Soul ⭐ 10
Rescuing the SOUL great logic meta programming language
most recent commit 6 years ago
Deep6 ⭐ 8
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
dependent packages 3total releases 4most recent commit 2 years agonpm deep6} Downloads
Firstorderunificationinagda ⭐ 6
Implementation of McBride's "First-order unification by structural recursion" in Agda.
most recent commit 6 years ago
The 6 Latest Releases In Unification Open Source Projects
Json Autotype ⭐ 150
Automatic Haskell type inference from JSON input
total releases 55latest release December 02, 2023most recent commit 7 months ago
Deep6 ⭐ 8
No dependency mini-library: deep equivalency, object pattern matching, deep cloning, unification.
dependent packages 3total releases 4latest release July 04, 2021most recent commit 2 years agonpm deep6} Downloads
Meander ⭐ 868
Tools for transparent data transformation
total releases 63latest release December 17, 2020most recent commit a year ago
Dag Unify ⭐ 17
Unification of Directed Acyclic Graphs in Clojure
total releases 42latest release September 13, 2020most recent commit a year ago
Ut ⭐ 24
Yet Another Efficient Unification Algorithm
total releases 2latest release January 23, 2020most recent commit 8 months ago
Drawers ⭐ 148
Group related classes together. No more silos. A solution to rails dystopia.
total releases 12latest release October 31, 2016most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.