riccardotommasini / imkgLinks
The Internet Memes Knowledge Graph
☆14Updated last year
Alternatives and similar repositories for imkg
Users that are interested in imkg are comparing it to the libraries listed below
Sorting:
- Discussion of MeTTa programming with examples☆33Updated 2 months ago
- GPT-based language channel for NARS (ONA)☆36Updated 9 months ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Updated 9 months ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Updated last month
- a decentralized dataset generator and manipulator.☆11Updated this week
- MeTTa Optimal Reduction Kernel☆33Updated this week
- ☆41Updated this week
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆25Updated 11 months ago
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆12Updated 7 years ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆26Updated last year
- Python api for agents in minecraft☆11Updated last month
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆21Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Pytorch implementation of paper: Small Pre-trained Language Models Can be Fine-tuned as Large Models via Over-Parameterization.☆12Updated 2 years ago
- Elevate your language models with insightful diversity metrics.☆11Updated last year
- Graph programming language☆126Updated this week
- The meta meme☆15Updated last month
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last month
- AtomSpace Graph Database RocksDB backend☆18Updated this week
- A TypeScript library for building applications with RDF graph data.☆12Updated 2 months ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year
- A miniature version of the l4 language☆13Updated 4 months ago
- A TypeScript/JavaScript implementation of the RDF/JS store interface with support for quoted triples.☆14Updated last week
- Neural Algorithmic Reasoning Tutorial☆12Updated 2 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last month
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- ☆13Updated last month
- Save, track and query 3D+time locations of objects in the AtomSpace☆14Updated 7 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆177Updated this week
- A TypeScript/JavaScript implementation of the RDF/JS data factory.☆11Updated this week