unification topic
ut
Yet Another Efficient Unification Algorithm
ck
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
Tools for transparent data transformation
json-autotype
Automatic Haskell type inference from JSON input
drawers
Group related classes together. No more silos. A solution to rails dystopia.
rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
whisper
Logic programming, for Rust, from inside Rust.
18CSC305J-AI
All Lab experiments of 18CSC305J Artificial Intelligence.
unification
Straightforward unification in Python that's extensible via generic functions.
AI_physicist
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)