unification topic
ut
Yet Another Efficient Unification Algorithm
ck
Collective Knowledge (CK), Collective Mind (CM/CMX) and MLPerf automations: community-driven projects to facilitate collaborative and reproducible research and to learn how to run AI, ML, and other em...
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)