unification topic

List unification repositories

ut

25
Stars
2
Forks
Watchers

Yet Another Efficient Unification Algorithm

ck

580
Stars
107
Forks
Watchers

Collective Mind (CM) is a small, modular, cross-platform and decentralized workflow automation framework with a human-friendly interface and reusable automation recipes to make it easier to build, run...

meander

911
Stars
54
Forks
Watchers

Tools for transparent data transformation

json-autotype

150
Stars
23
Forks
Watchers

Automatic Haskell type inference from JSON input

drawers

147
Stars
7
Forks
Watchers

Group related classes together. No more silos. A solution to rails dystopia.

rust-nbe-for-mltt

90
Stars
7
Forks
Watchers

Normalization by evaluation for Martin-Löf Type Theory with dependent records

whisper

39
Stars
1
Forks
Watchers

Logic programming, for Rust, from inside Rust.

18CSC305J-AI

29
Stars
45
Forks
Watchers

All Lab experiments of 18CSC305J Artificial Intelligence.

unification

37
Stars
6
Forks
Watchers

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

AI_physicist

31
Stars
9
Forks
Watchers

AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)